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