TY  - BOOK
AU  - Harel (David) Kozen (Dexter) gerzy  Tiuryn
TI  - Dynamic Logic 
U1  - 005115HAR 
CY  - New Delhi
PB  -  PHI 
ER  -