Peter Lee, editor, "Topics in Advanced Language Implementation", MIT Press, 1993

• Pfenning, Frank and Elliot, Conal (1993) Pfenning, Frank and Elliot, Conal "A Semi-Functional Implementation of a Higher-Order Logic Programming Language"