TY  - BOOK
AU  - Harel 
AU  - Kozen, Dexter
AU  - Tiuryn, Jerzy
TI  - Dynamic logic 
T2  - Foundations of computing
SN  - 9788120331716 
U1  - 004.015113 HAR 2000 
PY  - 2000///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer logic
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index p.449-459
ER  -