1. A.Church: The Calculi of λ-Conversion. Princeton, 1941.
2. S.Goldberg: Solution of an Electrical Network Using a Digital Computer. Masters Thesis, EE Dept., MIT, Cambridge, MA, 1959.
3. K.Maling: The LISP Differentiation Demonstration Program. MIT AI Memo 10, Cambridge, MA, 1959.
4. Some Proposals for the Volume 2 Language;McCarthy,1958
5. J.McCarthy: An Algebraic Language for the Manipulation of Symbolic Expressions. MIT AI Memo 1, Cambridge, MA, September 1958.