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