Ulisses Ferreira The Decidability of the Halting Problem. 180-183 2009 FCS conf/fcs/2009 db/conf/fcs/fcs2009.html#Ferreira09