--- a/Paper/document/root.bib	Mon Mar 22 11:55:29 2010 +0100
+++ b/Paper/document/root.bib	Mon Mar 22 16:22:07 2010 +0100
@@ -81,6 +81,15 @@
   series = 	 {LNCS}
 }
 
+@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
+}
+
 @Unpublished{SatoPollack10,
   author = 	 {M.~Sato and R.~Pollack},
   title = 	 {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus},