Turing’s Analysis of Computability, and Major Applications of It (1988)

by S Kleene
Venue:The Universal Turing Machine: A Half Century Survey