Recursive Functions of Symbolic Expressions and Their Computation by Machine

John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass

April 1960