TY  - BOOK
AU  - Harel, David
AU  - Kozen, Dexter
AU  - Touryn, Jerzy
TI  - Dynamic logic
SN  - 0 262 08289 6
CY  - Cambridge
KW  - Computer logic
KW  - Formal methods
ER  -