--- a/latex/cpdt.bib	Sun Apr 22 15:38:11 2012 -0400
+++ b/latex/cpdt.bib	Sun Apr 22 15:51:03 2012 -0400
@@ -375,3 +375,42 @@
  publisher = {Springer-Verlag},
  address = {London, UK, UK},
 } 
+
+@article{continuations,
+ author = {Reynolds, John C.},
+ title = {The discoveries of continuations},
+ journal = {Lisp Symb. Comput.},
+ issue_date = {Nov. 1993},
+ volume = {6},
+ number = {3-4},
+ month = nov,
+ year = {1993},
+ issn = {0892-4635},
+ pages = {233--248},
+ numpages = {16},
+ url = {http://dx.doi.org/10.1007/BF01019459},
+ doi = {10.1007/BF01019459},
+ acmid = {198114},
+ publisher = {Kluwer Academic Publishers},
+ address = {Hingham, MA, USA},
+ keywords = {continuation, continuation-passing style, semantics},
+}
+
+@article{unification,
+ author = {Robinson, J. A.},
+ title = {A Machine-Oriented Logic Based on the Resolution Principle},
+ journal = {J. ACM},
+ issue_date = {Jan. 1965},
+ volume = {12},
+ number = {1},
+ month = jan,
+ year = {1965},
+ issn = {0004-5411},
+ pages = {23--41},
+ numpages = {19},
+ url = {http://doi.acm.org/10.1145/321250.321253},
+ doi = {10.1145/321250.321253},
+ acmid = {321253},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}