Salvatore Caporaso Safe Turing Machines, Grzegorczyk Classes and Polytime. 241-252 1996 7 Int. J. Found. Comput. Sci. 3 db/journals/ijfcs/ijfcs7.html#Caporaso96