The VLISP verified prescheme compiler (1995)

by D P Oliva, J D Ramsdell, M Wand
Venue:Lisp and Symbol. Comput