1. William D. Partain. Graph Reduction Without Pointers. PhD thesis, University of North Carolina at Chapel Hill, November 1989.
2. Christopher P. Wadsworth. Semantics and Pragmatics of the Lambda-Calculus. D. Phil. thesis, University of Oxford, September 1 1971.
3. W. Daniel Hillis. The Connection Machine. MIT Press, 1985.
4. Thomas Johnsson. The G-Machine. An abstract machine for graph reduction. In Proceedings of the Declarative Programming Workshop, pages 1–20, University College, London, April 11–13 1983.
5. N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation. Indagationes Mathematicae, 34 (5): 381–392, 1972.