Frandsen, G. S., and C. Sturtivant. “What Is an Efficient Implementation of the Lambda-Calculus?”. DAIMI Report Series, vol. 20, no. 344, Feb. 1991, doi:10.7146/dpb.v20i344.6574.