Gams, M. . Alan Turing, Turing Machines and Stronger. Informatica. 37, 1 ().