1.1 --- a/doc-src/manual.bib	Wed Oct 11 13:20:27 2000 +0200
     1.2 +++ b/doc-src/manual.bib	Wed Oct 11 13:33:38 2000 +0200
     1.3 @@ -197,6 +197,9 @@
     1.4    volume	= 5,
     1.5    pages		= "56-68"}
     1.6  
     1.7 +@book{ClarkeGP-book,author="Edmund Clarke and Orna Grumberg and Doron Peled",
     1.8 +title="Model Checking",publisher=MIT,year=1999}
     1.9 +
    1.10  @PhdThesis{coen92,
    1.11    author	= {Martin D. Coen},
    1.12    title		= {Interactive Program Derivation},