Add a some new references, apply minor adjustments to some existing references.

thesis.bib

@@ -743,11 +743,13 @@
 }
 
 @techreport{Steele78,
-  title = {{RABBIT}: A Compiler for {SCHEME}},
+  title = {{RABBIT}: A Compiler for {SCHEME} (A Study in Compiler Optimization)},
-  author = {Guy Steele},
+  author = {Guy L. Steele},
-  number = {AITR-474},
+  institution = {{MIT}},
-  institution = {{INRIA}},
+  number = {TR-474},
   year = {1978},
+  month = may,
+  address = {Cambridge, Massachusetts, USA}
 }
 
 @inproceedings{DanvyF90,
@@ -1331,35 +1333,38 @@
 }
 
 # Second-hand reference for call/cc
-@article{Abelson91,
+@techreport{AbelsonHAKBOBPCRFRHSHW85,
-  author    = {Abelson, H.
+  author    = {Hal Abelson
-               and Dybvig, R. K.
+               and Chris Haynes
-               and Haynes, C. T.
+               and Norman Adams
-               and Rozas, G. J.
+               and Eugene Kohlbecker
-               and Adams, N. I.
+               and David Bartley
-               and Friedman, D. P.
+               and Don Oxley
-               and Kohlbecker, E.
+               and Gary Brooks
-               and Steele, G. L.
+               and Kent Pitman
-               and Bartley, D. H.
+               and William Clinger
-               and Halstead, R.
+               and Jonathan Rees
-               and Oxley, D.
+               and Dan Friedman
-               and Sussman, G. J.
+               and Bill Rozas
-               and Brooks, G.
+               and Robert Halstead
-               and Hanson, C.
+               and Gerald Jey Sussman
-               and Pitman, K. M.
+               and Chris Hanson
-               and Wand, M.
+               and Mitchell Wand},
-               and Clinger, William
+  title      = {The Revised Revised Report on {Scheme} or An {UnCommon} {Lisp}},
-               and Rees, Jonathan},
+  year        = {1985},
-  title     = {Revised4 Report on the Algorithmic Language Scheme},
+  institution = {MIT},
-  year      = {1991},
+  number     = {No. 848},
-  publisher = {Association for Computing Machinery},
+  month      = aug,
-  address   = {New York, NY, USA},
+  type       = {AI Memo}
-  volume    = {IV},
+}
-  number    = {3},
+
-  issn      = {1045-3563},
+# MacLisp (catch)
-  journal   = {SIGPLAN Lisp Pointers},
+@misc{Moon74,
-  month     = jul,
+  author   = {David A. Moon},
-  pages     = {1–-55}
+  title    = {{MACLISP} Reference Manual},
+  year     = 1974,
+  howpublished = {Project {MAC} -- {MIT}},
+  month    = apr
 }
 
 # Common Lisp (resumable exceptions)
@@ -1374,7 +1379,7 @@
 
 # System F
 @phdthesis{Girard72,
-  author = {J. Y. Girard},
+  author = {Jean-Yves Girard},
   school = {Universit{\'e} Paris 7},
   title = {Interpr{\'e}tation fonctionnelle et {\'e}limination des coupures de l'arithm{\'e}tique d'ordre sup{\'e}rieur},
   year = 1972,

thesis.tex

@@ -503,9 +503,10 @@ handlers.
 \label{ch:continuations}
 
 Undelimited control: Landin's J~\cite{Landin98}, Reynolds'
-escape~\cite{Reynolds98a}, Scheme75's catch~\cite{SussmanS75}, callcc
+escape~\cite{Reynolds98a}, Scheme75's catch~\cite{SussmanS75} ---
-is a procedural variation of catch. It was invented in
+which was based the less expressive MacLisp catch~\cite{Moon74},
-1982~\cite{Abelson91}.
+callcc is a procedural variation of catch. It was invented in
+1982~\cite{AbelsonHAKBOBPCRFRHSHW85}.
 
 Delimited control: Control delimiters form the basis for delimited
 control. \citeauthor{Felleisen88} introduced control delimiters in