A guide to VLISP, a verified programming language implementation (1992)

by J. D. Guttman, L. G. Monk, J. D. Ramsdell, W. M. Farmer, V. Swarup
Venue:M 92B091, The MITRE Corporation