1. MCC Technical Report;H. Aït-Kaci,1986
2. Barbuti, R.et al. LEAF: a language which integrates logic, equations, and functions. In DeGroot, D. and Lindstrom, G., editors,Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ (1986) 201–238.
3. Barendregt, H.P.The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1981).
4. Bosco, P. G. and Giovanetti, E.A Prolog-Compiled Higher-Order Functional and Logic Programming Language. Technical Draft, CSELT, Torino, Italy (1986). An abridged version of this paper has appeared in the proceedings of the 3rd IEEE Symposium on Logic Programming, Salt Lake City, UT (September 1986).
5. Burge, W. H.Recursive Programming Techniques. Addison-Wesley, Reading, MA (1975).