@TechReport{OlivaWand92a,
  author = 	"Dino P. Oliva and Mitchell Wand",
  title = 	"A Verified Run-Time Structure for Pure PreScheme",
  institution = 	"Northeastern University College of Computer Science",
  year = 	"1992",
  type = 	"Technical Report",
  number = 	"NU-CCS-92-97",
  OPTaddress = 	"",
  OPTmonth = 	sep,
  OPTnote = 	"",
  abstract =    "This document gives a summary of activities under MITRE Corporation Contract
Number F19628-89-C-0001.  It gives an operational semantics of an abstract
machine for Pure PreScheme and of its implementation as a run-time structure
on an Motorola 68000 microprocessor.  The relationship between these two
models is stated formally and proved."
}