--- a/src/HOL/document/root.bib Fri Dec 29 18:09:38 2017 +0100
+++ b/src/HOL/document/root.bib Fri Dec 29 19:17:52 2017 +0100
@@ -12,6 +12,16 @@
year = 1992
}
+@book{GKP_CM,
+ author = {Graham, Ronald L. and Knuth, Donald E. and Patashnik, Oren},
+ title = {Concrete Mathematics: A Foundation for Computer Science},
+ year = {1994},
+ isbn = {0201558025},
+ edition = {2nd},
+ publisher = {Addison--Wesley},
+ address = {Boston, MA, USA},
+}
+
@techreport{Gordon-TR68,
author = "Mike Gordon",
title = "{HOL}: {A} Machine Oriented Formulation of Higher-Order Logic",