An operational semantics for Scheme. Lisp pointers, volume 2(April (1992)

by John D Ramsdell