The Verified Programming Language Implementation project has developed
a formally verified implementation of the Scheme programming language,
called Vlisp.  The contributors were Joshua D. Guttman, John D.
Ramsdell, William M. Farmer, Leonard G. Monk, and Vipin Swarup, of The
MITRE Corporation, and Mitchell Wand and Dino Oliva of Northeastern
University.  This directory contains the ten final reports generated
by the members of the project.  An overview of the project is
presented in the Vlisp Guide.  You can obtain paper copies of these
reports by sending a request to ramsdell@mitre.org, or to the
following U. S. Mail address:


			John D. Ramsdell
			MS A118
			The MITRE Corporation
			202 Burlington Road
			Bedford MA, 01730-1420

John