--- a/Paper/document/root.bib	Tue Feb 26 23:44:57 2013 +0000
+++ b/Paper/document/root.bib	Wed Feb 27 01:32:53 2013 +0000
@@ -1,4 +1,13 @@
-
+@inproceedings{Krauss10,
+  author    = {A.~Krauss},
+  title     = {{R}ecursive {D}efinitions of {M}onadic {F}unctions},
+  booktitle = {Proc.~of the Workshop on Partiality and Recursion in Interactive
+               Theorem Provers},
+  year      = {2010},
+  pages     = {1-13},
+  series    = {EPTCS},
+  volume    = {43}
+}
 
 @PhdThesis{Myreen09,
   author =	 {M.~O.~Myreen},