A Basis For A Mathematical Theory Of Computation (1963)

by John McCarthy
Venue:Computer Programming and Formal Systems