1 files changed, 6 insertions, 0 deletions
diff --git a/doc/faq/fk.bib b/doc/faq/fk.bib
index 392e401fc..d41ab7f09 100644
--- a/doc/faq/fk.bib
+++ b/doc/faq/fk.bib
@@ -2213,3 +2213,9 @@ Languages},
         YEAR               = {1994}
 }
 
+@PHDTHESIS{Luo90,
+        AUTHOR             = {Z. Luo},
+        TITLE              = {An Extended Calculus of Constructions},
+        SCHOOL             = {University of Edinburgh},
+        YEAR               = {1990}
+}