--- a/LMCS-Paper/document/root.bib	Tue Sep 20 19:04:39 2011 +0200
+++ b/LMCS-Paper/document/root.bib	Wed Sep 21 17:16:11 2011 +0900
@@ -237,12 +237,13 @@
 }
 
 @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},
-  volume =       23,
-  number =       {1-4},
-  year =	 1999
+  author    = {J.~McKinna and R.~Pollack},
+  title     = {Some {L}ambda {C}alculus and {T}ype {T}heory {F}ormalized},
+  journal   = {Journal of Automated Reasoning},
+  volume    = {23},
+  number    = {3-4},
+  pages     = {373-409},
+  year      = {1999}
 }
 
 @article{SatoPollack10,