--- a/latex/cpdt.bib	Fri Oct 28 15:38:41 2011 -0400
+++ b/latex/cpdt.bib	Fri Oct 28 17:43:53 2011 -0400
@@ -267,3 +267,22 @@
   publisher    = "MIT Press",
   chapter      = "8"
 }
+
+@article{Capretta,
+  author     = {Venanzio Capretta},
+  title      = {General Recursion via Coinductive Types},
+  journal    = {Logical Methods in Computer Science},
+  volume     = 1,
+  number     = 2,
+  year       = 2005,
+  pages      = {1--18},
+}
+
+@inproceedings{Megacz,
+ author = {Adam Megacz},
+ title = {A coinductive monad for prop-bounded recursion},
+ booktitle =   {Proceedings of the {ACM} Workshop Programming
+                Languages meets Program Verification},
+ pages = {11--20},
+ year = {2007},
+}