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

by John McCarthy
Venue:Machine, Part I. Comm. ACM