TY  - BOOK
AU  - Harel D.
AU  - Harel D.; Kozen D. & Tiuryn J.
TI  - Dynamics Logic
U1  - 005.75 
PB  - Prentice Hall Of India
ER  -