diff --git a/thesis.bib b/thesis.bib
index deb37be..0a543a4 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -743,11 +743,13 @@
 }
 
 @techreport{Steele78,
-  title = {{RABBIT}: A Compiler for {SCHEME}},
-  author = {Guy Steele},
-  number = {AITR-474},
-  institution = {{INRIA}},
+  title = {{RABBIT}: A Compiler for {SCHEME} (A Study in Compiler Optimization)},
+  author = {Guy L. Steele},
+  institution = {{MIT}},
+  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,
-  author    = {Abelson, H.
-               and Dybvig, R. K.
-               and Haynes, C. T.
-               and Rozas, G. J.
-               and Adams, N. I.
-               and Friedman, D. P.
-               and Kohlbecker, E.
-               and Steele, G. L.
-               and Bartley, D. H.
-               and Halstead, R.
-               and Oxley, D.
-               and Sussman, G. J.
-               and Brooks, G.
-               and Hanson, C.
-               and Pitman, K. M.
-               and Wand, M.
-               and Clinger, William
-               and Rees, Jonathan},
-  title     = {Revised4 Report on the Algorithmic Language Scheme},
-  year      = {1991},
-  publisher = {Association for Computing Machinery},
-  address   = {New York, NY, USA},
-  volume    = {IV},
-  number    = {3},
-  issn      = {1045-3563},
-  journal   = {SIGPLAN Lisp Pointers},
-  month     = jul,
-  pages     = {1–-55}
+@techreport{AbelsonHAKBOBPCRFRHSHW85,
+  author    = {Hal Abelson
+               and Chris Haynes
+               and Norman Adams
+               and Eugene Kohlbecker
+               and David Bartley
+               and Don Oxley
+               and Gary Brooks
+               and Kent Pitman
+               and William Clinger
+               and Jonathan Rees
+               and Dan Friedman
+               and Bill Rozas
+               and Robert Halstead
+               and Gerald Jey Sussman
+               and Chris Hanson
+               and Mitchell Wand},
+  title      = {The Revised Revised Report on {Scheme} or An {UnCommon} {Lisp}},
+  year        = {1985},
+  institution = {MIT},
+  number     = {No. 848},
+  month      = aug,
+  type       = {AI Memo}
+}
+
+# MacLisp (catch)
+@misc{Moon74,
+  author   = {David A. Moon},
+  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,
diff --git a/thesis.tex b/thesis.tex
index a926797..9ead9c2 100644
--- a/thesis.tex
+++ b/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
-is a procedural variation of catch. It was invented in
-1982~\cite{Abelson91}.
+escape~\cite{Reynolds98a}, Scheme75's catch~\cite{SussmanS75} ---
+which was based the less expressive MacLisp catch~\cite{Moon74},
+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