Recursive functions of symbolic expressions (1960)

by J McCarthy
Venue:Communications of the ACM