The VLISP verified prescheme compiler. Lisp and symbolic computation (1995)

by Dino P Oliva, John D Ramsdell, Mitchell Wand