--- a/latex/cpdt.bib	Thu Oct 06 12:04:55 2011 -0400
+++ b/latex/cpdt.bib	Mon Oct 10 16:01:31 2011 -0400
@@ -201,4 +201,14 @@
   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
+}
+
+@article{Okasaki,
+ author = {Okasaki, Chris},
+ title = {Red-black trees in a functional setting},
+ journal = {J. Funct. Program.},
+ volume = {9},
+ issue = {4},
+ year = {1999},
+ pages = {471--477},
+}