diff -r 883b38196dba -r a9cb6a51efc3 Paper/document/root.bib
--- a/Paper/document/root.bib	Thu Mar 18 11:36:03 2010 +0100
+++ b/Paper/document/root.bib	Thu Mar 18 11:37:10 2010 +0100
@@ -5,6 +5,20 @@
   year = 	 {2010}
 }
 
+@PhdThesis{Leroy92,
+  author = 	 {X.~Leroy},
+  title = 	 {{P}olymorphic {T}yping of an {A}lgorithmic {L}anguage},
+  school = 	 {University Paris 7},
+  year = 	 {1992},
+  note = 	 {INRIA Research Report, No~1778}
+}
+
+@Unpublished{SewellBestiary,
+  author = 	 {P.~Sewell},
+  title = 	 {{A} {B}inding {B}estiary},
+  note = 	 {Personal communication.}
+}
+
 @Unpublished{SatoPollack10,
   author = 	 {M.~Sato and R.~Pollack},
   title = 	 {{E}xternal and {I}nternal {S}yntax of the {L}ambda-{C}alculus},