src/HOL/CTL/document/root.bib

+
+@Misc{McMillan-LectureNotes,
+  author =	 {Ken McMillan},
+  title =	 {Lecture notes on verification of digital and hybrid systems},
+  note =	 {{NATO} summer school, \url{http://www-cad.eecs.berkeley.edu/~kenmcmil/tutorial/toc.html}}
+}
+
+@PhdThesis{McMillan-PhDThesis,
+  author = 	 {Ken McMillan},
+  title = 	 {Symbolic Model Checking: an approach to the state explosion problem},
+  school = 	 {Carnegie Mellon University},
+  year = 	 1992
+}