1 files changed, 28 insertions, 0 deletions
diff --git a/bib.bib b/bib.bib
index 4c559f3..3eb97ee 100644
--- a/bib.bib
+++ b/bib.bib
@@ -223,3 +223,31 @@ author={Mogensen, TorbenÆ.},
 pages={128-142},
 language={English}
 }
+
+@article{Coquand88,
+ author = {Coquand, Thierry and Huet, Gerard},
+ title = {The Calculus of Constructions},
+ journal = {Inf. Comput.},
+ issue_date = {February/March 1988},
+ volume = {76},
+ number = {2-3},
+ month = feb,
+ year = {1988},
+ issn = {0890-5401},
+ pages = {95--120},
+ numpages = {26},
+ url = {http://dx.doi.org/10.1016/0890-5401(88)90005-3},
+ doi = {10.1016/0890-5401(88)90005-3},
+ acmid = {47725},
+ publisher = {Academic Press, Inc.},
+ address = {Duluth, MN, USA},
+}
+
+@book{Baader98,
+ author = {Baader, Franz and Nipkow, Tobias},
+ title = {Term Rewriting and All That},
+ year = {1998},
+ isbn = {0-521-45520-0},
+ publisher = {Cambridge University Press},
+ address = {New York, NY, USA},
+}