TY  - BOOK
AU  - HAREL(DAVID) KOZEN (DEXTER)GERZY  TIURYN
TI  - Dynamic Logic 
U1  - 005115HAR 
CY  - N.DELHI 
PB  -  PHI 
ER  -