On the use of LISP in implementing denotational semantics (1986)

by Uwe F Pleban, Peter Lee
Venue:In Proc. ACM Conference on LISP and Functional Programming