VLISP A Verified Implementation of Scheme - A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 (Hardcover, Reprinted from LISP AND SYMBOLIC COMPUTATION, An International Journal 8:1-2, 1995)
Ships in 12 - 17 working days