TY  - BOOK
AU  - Harel David
AU  -  Kozen Dexter
TI  - Dynamic logic
U1  - D6,8(B)0bR1, P0 
PY  - 2000///
CY  - New Delhi
PB  - Prentic-Hall      
KW  - Dynamic Logic
ER  -