1. Abrahams, Paul W. (1963). Machine Verification of Mathematical Proof. Ph.D. Thesis in Mathematics, MIT, Cambridge, Massachusetts.
2. Abrahams, Paul W. (1967). LISP 2 Specifications. Systems Development Corporation Technical Report TM-3417/200/00, Santa Monica, California.
3. Abrahams, Paul W., Barnett, J., et al. (1966). The LISP 2 programming language and system. Proceedings of the Fall Joint Computer Conference, pp. 661–676
4. Anatomy of LISP;Allen,1978