--- a/Paper/document/root.bib	Tue Mar 30 15:09:26 2010 +0200
+++ b/Paper/document/root.bib	Tue Mar 30 16:59:00 2010 +0200
@@ -1,3 +1,14 @@
+@InProceedings{Berghofer99,
+  author = 	 {S.~Berghofer and M.~Wenzel},
+  title = 	 {{I}nductive {D}atatypes in {HOL} - {L}essons {L}earned in 
+                  {F}ormal-{L}ogic {E}ngineering},
+  booktitle = 	 {Proc.~of the 12th International Conference Theorem Proving in 
+                  Higher Order Logics (TPHOLs)},
+  pages = 	 {19--36},
+  year = 	 1999,
+  number = 	 1690,
+  series = 	 {LNCS}
+}
 
 @InProceedings{CoreHaskell,
   author = 	 {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly},