(1995). VLISP: A verified implementation of scheme. Kluwer Acad. Publ.
Chicago-Zitierstil (17. Ausg.)VLISP: A Verified Implementation of Scheme. Boston u.a: Kluwer Acad. Publ, 1995.
MLA-Zitierstil (9. Ausg.)VLISP: A Verified Implementation of Scheme. Kluwer Acad. Publ, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.