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

by John
Venue:Machine”, CACM