doc-src/manual.bib

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