A Basis for a Mathematical Theory of Computation", Computer Programming and Formal (1963)

by J McCarthy