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},