A Basis for a Mathematical Theory of Computation (1963)

by J McCarthy
Venue:Computer Programming and Formal Systems