A Basis for a Mathematical Theory of Computation (1963)

by John Mccarthy
Venue:Computer Programming and Formal Systems