M. Gams, “Alan Turing, Turing Machines and Stronger”, IJCAI, vol. 37, no. 1.