Recursive Functions of Symbolic Expressions and their Computation by (1960)

by John McCarthy
Venue:Machine, Part I. Communications of the ACM