VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 Guttman Joshua D. Innbundet / 1995 / Engelsk
VLISP A Verified Implementation of Scheme A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995 Guttman Joshua D. Heftet / 2012 / Engelsk
