CURRENTLY SOLD OUT

VLISP a Verified Implementation of Scheme by Kluwer Academic Publishers (Hardback, 1995)