%%% This is the BibTeX file for VLISP.

@TechReport{OlivaWand92,
  author = 	"Dino P. Oliva and Mitchell Wand",
  title = 	"A Verified Compiler for Pure {PreScheme}",
  institution = 	"Northeastern University 
			College of Computer Science",
  year = 	1992,
  type = 	"Technical Report",
  number = 	"NU-CCS-92-5",
  OPTaddress = 	"",
  month = 	Feb,
  OPTnote = 	"",
  patron = "Ramsdell"
}

@TechReport{OlivaWand92b,
  author = 	"Dino P. Oliva and Mitchell Wand",
  title = 	"A Verified Runtime Structure for Pure {PreScheme}",
  institution = 	"Northeastern University 
			College of Computer Science",
  year = 	1992,
  type = 	"Technical Report",
  number = 	"NU-CCS-92-27",
  OPTaddress = 	"",
  month = 	Sep,
  OPTnote = 	"",
  patron = "Ramsdell"
}

@TechReport{Vlisp92b,
  author = 	"J. D. Guttman and L. G. Monk and J. D. Ramsdell and
		 W. M. Farmer and V. Swarup",
  title = 	"A Guide to {{\sc vlisp}}, A Verified Programming Language
		 Implementation",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B091",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92c,
  author = 	"J. D. Guttman and L. G. Monk and W. M. Farmer and
		 J. D. Ramsdell and V. Swarup",
  title = 	"The {{\sc vlisp}} Byte-Code Compiler",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B092",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92d,
  author = 	"W. M. Farmer and J. D. Guttman and L. G. Monk and
		 J. D. Ramsdell and V. Swarup",
  title = 	"The Faithfulness of the {{\sc vlisp}} Operational Semantics",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B093",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92e,
  author = 	"J. D. Guttman and L. G. Monk and W. M. Farmer and
		 J. D. Ramsdell and V. Swarup",
  title = 	"The {{\sc vlisp}} Flattener",
  institution = "The MITRE Corporation",
  year = 	"1992",
  type = 	"M",
  number = 	"92B094",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92f,
  author = 	"W. M. Farmer and J. D. Guttman and L. G. Monk and
		 J. D. Ramsdell and V. Swarup",
  title = 	"The {{\sc vlisp}} Linker",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B095",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92g,
  author = 	"V. Swarup and W. M. Farmer and J. D. Guttman and L.
		 G. Monk and J. D. Ramsdell",
  title = 	"The {{\sc vlisp}} Image Builder",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B096",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92h,
  author = 	"V. Swarup and W. M. Farmer and J. D. Guttman and L.
		 G. Monk and J. D. Ramsdell",
  title = 	"The {{\sc vlisp}} Byte-Code Interpreter",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B097",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@TechReport{Vlisp92i,
  author = 	"J. D. Ramsdell and W. M. Farmer and J. D. Guttman and L.
		 G. Monk and V. Swarup",
  title = 	"The {{\sc vlisp}} {PreScheme} Front End",
  institution = "The MITRE Corporation",
  year = 	"1992",
  month = 	Sep,
  type = 	"M",
  number = 	"92B098",
  OPTaddress = 	"",
  OPTmonth = 	"",
  OPTnote = 	"",
  patron =      "farmer"
}

@InProceedings{WandOliva92,
  author = 	 "M. Wand and D. P. Oliva",
  title = 	 "Proving the Correctness of Storage Representations",
  booktitle = 	 "Proceedings of the 1992 {ACM} Conference on {Lisp} and
  Functional Programming",
  year = 	 "1992",
  OPTeditor = 	 "",
  pages = 	 "151--160",
  publisher = "{ACM} Press",
  address = 	 "New York",
  OPTmonth = 	 "",
  OPTnote = 	 "",
  patron = "guttman"
}

@article(ramsdell92, patron = "Ramsdell",
	author = "John D. Ramsdell",
	title = "An Operational Semantics for Scheme",
	journal = "{ACM} {LISP} Pointers",
	volume = "V",
	number = 2,
	year = 1992,
	month = "April--June",
	pages = "6--10")