1.1 --- a/doc-src/manual.bib	Wed Mar 14 18:40:01 2001 +0100
     1.2 +++ b/doc-src/manual.bib	Thu Mar 15 10:41:32 2001 +0100
     1.3 @@ -376,6 +376,9 @@
     1.4    publisher	= {Van Nostrand},
     1.5    year		= 1960}
     1.6  
     1.7 +@book{HarelKT-DL,author={David Harel and Dexter Kozen and Jerzy Tiuryn},
     1.8 +title={Dynamic Logic},publisher=MIT,year=2000}
     1.9 +
    1.10  @Book{hennessy90,
    1.11    author	= {Matthew Hennessy},
    1.12    title		= {The Semantics of Programming Languages: An Elementary