1 files changed, 7 insertions, 0 deletions
diff --git a/doc/biblio.bib b/doc/biblio.bib
index 9962d5c57b..378936d9a8 100755
--- a/doc/biblio.bib
+++ b/doc/biblio.bib
@@ -761,6 +761,13 @@ of the {ML} language},
         url            = {draft at \url{http://www.lri.fr/~letouzey/download/extraction2002.ps.gz}}
 }
 
+@PHDTHESIS{Luo90,
+        AUTHOR             = {Z. Luo},
+        TITLE              = {An Extended Calculus of Constructions},
+        SCHOOL             = {University of Edinburgh},
+        YEAR               = {1990}
+}
+
 @BOOK{MaL84,
         AUTHOR             = {{P. Martin-L\"of}},
         PUBLISHER          = {Bibliopolis},