diff -r 8be3155c014f -r 8fc6b801985b LMCS-Paper/document/root.bib
--- a/LMCS-Paper/document/root.bib	Wed Feb 29 16:23:11 2012 +0000
+++ b/LMCS-Paper/document/root.bib	Wed Feb 29 16:57:25 2012 +0000
@@ -3,7 +3,7 @@
   author =       {D.~Traytel and A.~Popescu and J.~C.~Blanchette},
   title =        {{F}oundational, {C}ompositional ({C}o)datatypes for {H}igher-{O}rder 
                   {L}ogic: {C}ategory {T}heory {A}pplied to {T}heorem {P}roving},
-  note =         {Submitted for publication.},
+  note =         {Submitted for publication},
   year =         {2012}
 }
 
@@ -42,7 +42,8 @@
   author = 	 {S.~Weirich and B.~Yorgey and T.~Sheard},
   title = 	 {{B}inders {U}nbound},
   booktitle = 	 {Proc.~of the 16th International Conference on Functional Programming (ICFP)},
-  year = 	 {2011}
+  year = 	 {2011},
+  pages =        {333-345}
 }
 
 @InProceedings{UrbanKaliszyk11,