Update bibliography

thesis.bib

@@ -1319,6 +1319,19 @@
   year      = {1988}
 }
 
+@inproceedings{FelleisenWFD88,
+  author    = {Matthias Felleisen and
+               Mitchell Wand and
+               Daniel P. Friedman and
+               Bruce F. Duba},
+  title     = {Abstract Continuations: {A} Mathematical Semantics for Handling Full
+               Jumps},
+  booktitle = {{LISP} and Functional Programming},
+  pages     = {52--62},
+  publisher = {{ACM}},
+  year      = {1988}
+}
+
 # Control and prompt
 @article{SitaramF90,
   author    = {Dorai Sitaram and
@@ -1440,6 +1453,17 @@
   month      = aug
 }
 
+# Constraining call/cc
+@inproceedings{FriedmanH85,
+  author    = {Daniel P. Friedman and
+               Christopher T. Haynes},
+  title     = {Constraining Control},
+  booktitle = {{POPL}},
+  pages     = {245--254},
+  publisher = {{ACM} Press},
+  year      = {1985}
+}
+
 # Splitter
 @inproceedings{QueinnecS91,
   author    = {Christian Queinnec and
@@ -1965,4 +1989,27 @@
   pages     = {30:1--30:16},
   publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
   year      = {2019}
+}
+
+# Original report and paper on continuations
+@techreport{StracheyW74,
+  author    = {Christopher Strachey and
+               Christopher P. Wadsworth},
+  title     = {Continuations: {A} Mathematical Semantics for Handling Full Jumps},
+  institution = {Programming Research Group, University of Oxford},
+  number    = {PRG-11},
+  type      = {Technical Monograph},
+  month     = jan,
+  year      = 1974
+}
+
+@article{StracheyW00,
+  author    = {Christopher Strachey and
+               Christopher P. Wadsworth},
+  title     = {Continuations: {A} Mathematical Semantics for Handling Full Jumps},
+  journal   = {High. Order Symb. Comput.},
+  volume    = {13},
+  number    = {1/2},
+  pages     = {135--152},
+  year      = {2000}
 }