G. S. Frandsen and C. Sturtivant, “What is an Efficient Implementation of the lambda-calculus?”, DPB, vol. 20, no. 344, Feb. 1991.