TY  - GEN
AU  - Harel, David
TI  - Dynamic Logic
U1  - 160 
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall
ER  -