APA (7th ed.) Citation

SpringerLink (Online service), Guttman, J. D., & Wand, M. (1995). VLISP a verified implementation of scheme: A special issue of Lisp and symbolic computation, an international journal Vol. 8, Nos. 1 & 2 March 1995. Springer US : Imprint : Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Joshua D. Guttman, and Mitchell Wand. VLISP a Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995. Boston, MA: Springer US : Imprint : Springer, 1995.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. VLISP a Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995. Springer US : Imprint : Springer, 1995.