TY  - BOOK
AU  - Harel,David
AU  - Kozen,Dexter
AU  - Tiuryn,Jerzy
TI  - Dynamic logic 
T2  - Foundations of computing
SN  - 9780262527668
U1  - 004.015113 H222D 23
PY  - 2000///
CY  - Cambridge
PB  - The MIT Press
KW  - Computer logic
KW  - Formal methods (Computer science)
N1  - Originally published: 2000; Includes bibliographical references and index
ER  -