--- a/Paper/document/root.bib	Sun Mar 28 22:54:38 2010 +0200
+++ b/Paper/document/root.bib	Mon Mar 29 00:30:20 2010 +0200
@@ -1,3 +1,11 @@
+
+@InProceedings{CoreHaskell,
+  author = 	 {M.~Sulzmann and M.~Chakravarty and S.~Peyton Jones and K.~Donnelly},
+  title = 	 {{S}ystem {F} with {T}ype {E}quality {C}oercions},
+  booktitle = 	 {Proc of TLDI},
+  pages = 	 {??},
+  year = 	 {2007}
+}
 
 @inproceedings{cheney05,
   author    = {J.~Cheney},