TY  - BOOK
AU  - Harel,David,Kozen,Dexter
AU  - Harel, David 
AU  - Kozen, Dexter 
AU  - Tiuryn, Jerzy
TI  - Dynamic logic
SN  - 0262082896
U1  - 004.015113 
PY  - 2000///
CY  - Cambridge
PB  - MIT Press
KW  - Computer Logic
KW  - Formal Methods (Computer Science)
ER  -