--- a/Paper/document/root.bib	Thu Jul 01 14:18:36 2010 +0100
+++ b/Paper/document/root.bib	Fri Jul 02 01:54:19 2010 +0100
@@ -67,7 +67,7 @@
 @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 the TLDI Workshop},
+  booktitle = 	 {Proc.~of the TLDI Workshop},
   pages = 	 {53-66},
   year = 	 {2007}
 }
@@ -173,7 +173,7 @@
 @article{MckinnaPollack99,
   author =	 {J.~McKinna and R.~Pollack},
   title =	 {{S}ome {T}ype {T}heory and {L}ambda {C}alculus {F}ormalised},
-  journal =	 {Journal of Automated Reasoning},
+  journal =	 {J.~of Automated Reasoning},
   volume =       23,
   number =       {1-4},
   year =	 1999