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