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