TY  - BOOK
AU  - Harel, D 
AU  -  Kozen, D 
AU  -  Tiuryn, J
TI  - Dynamic Logic
SN  - 9788120331716
U1  - 004.015113 
PY  - 2007///
CY  - New Delhi
PB  - Prentice Hall of India
ER  -