# HG changeset patch
# User nipkow
# Date 971264018 -7200
# Node ID e77662e9cabd3fb22c33b7ce4b308acc3dfe08ed
# Parent  871772d38b305dec1e2a264653dad86c47db01e2
*** empty log message ***

diff -r 871772d38b30 -r e77662e9cabd doc-src/manual.bib
--- a/doc-src/manual.bib	Wed Oct 11 13:20:27 2000 +0200
+++ b/doc-src/manual.bib	Wed Oct 11 13:33:38 2000 +0200
@@ -197,6 +197,9 @@
   volume	= 5,
   pages		= "56-68"}
 
+@book{ClarkeGP-book,author="Edmund Clarke and Orna Grumberg and Doron Peled",
+title="Model Checking",publisher=MIT,year=1999}
+
 @PhdThesis{coen92,
   author	= {Martin D. Coen},
   title		= {Interactive Program Derivation},