1. Henk Barendregt. The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, 1981.
2. J. Darlington, A. J. Field, and H. Pull. Unification of functional and logic languages. In DeGroot and Lindstrom, editors, Logic Programming, Relations, Functions and Equations, pages 37–70. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
3. Matthias Felleisen and Robert Hieb. The revised report on the syntactic theories of sequential control and state. Technical Report COMP TR89-100, Rice University, 1989.
4. Michael Hanus. The integration of functions into logic programming: From theory to practice. To appear in the Journal of Logic Programming. Also available as Technical Report MPI-I-94-201, Max-Planck-Institut für Informatik, Saarbrücken.
5. John Lamping. An algorithm for optimal lambda calculus reduction. In Conference Record, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California. ACM Press, January 1990.