Recursive Functions of Symbolic Expressions
and Their Computation by Machine, Part I
CACM April, 1960
McCarthy, J.
