--- a/latex/cpdt.bib	Thu Sep 22 11:27:33 2011 -0400
+++ b/latex/cpdt.bib	Sun Sep 25 13:20:56 2011 -0400
@@ -173,3 +173,32 @@
  year = {1973},
  pages = {257--267}
 }
+
+@InBook{TAPLNatDed,
+  author       = "Benjamin C. Pierce",
+  title        = "Types and Programming Languages",
+  year         = "2002",
+  publisher    = "MIT Press",
+  chapter      = "9.4"
+}
+
+@inproceedings{Monads,
+ author = {Wadler, Philip},
+ title = {The essence of functional programming},
+ booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ year = {1992},
+} 
+
+@inproceedings{IO,
+ author = {Peyton Jones, Simon L. and Wadler, Philip},
+ title = {Imperative functional programming},
+ booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+ year = {1993},
+} 
+
+@InProceedings{separation,
+  author = 	 {John C. Reynolds},
+  title = 	 {Separation Logic: A Logic for Shared Mutable Data Structures},
+  booktitle =    {Proceedings of the IEEE Symposium on Logic in Computer Science},
+  year = 	 {2002}
+}
\ No newline at end of file