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

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

Languages mentioned lolli {1992}