Turing's Analysis of Computability, and Major Applications of it, in The Universal Turing Machine - A Half-Century Survey, Rolf Herken Ed (1994)

by Stephen C Kleene