Frandsen, G. S. and Sturtivant, C. (1991) “What is an Efficient Implementation of the lambda-calculus?”, DAIMI Report Series, 20(344). doi: 10.7146/dpb.v20i344.6574.