--- a/Paper/document/root.bib	Sat Feb 19 22:05:22 2011 +0000
+++ b/Paper/document/root.bib	Sun Feb 20 06:02:58 2011 +0000
@@ -1,3 +1,14 @@
+@article{OwensReppyTuron09,
+  author = {S.~Owens and J.~Reppy and A.~Turon},
+  title = {{R}egular-{E}xpression {D}erivatives {R}e-{E}xamined},
+  journal = {Journal of Functional Programming},
+  volume = 19,
+  number = {2},
+  year = 2009,
+  pages = {173--190}
+}
+
+
 
 @Unpublished{KraussNipkow11,
   author = 	 {A.~Kraus and T.~Nipkow},