Frandsen, G. S.; Sturtivant, C. What Is an Efficient Implementation of the Lambda-Calculus?. DPB 1991, 20.