APA
Harel D, Harel D.; Kozen D. & Tiuryn J, .Dynamics Logic. : Prentice Hall Of India.
Chicago
Harel D, Harel D.; Kozen D. & Tiuryn J, .Dynamics Logic. : Prentice Hall Of India.
Harvard
Harel D, Harel D.; Kozen D. & Tiuryn J, .Dynamics Logic. : Prentice Hall Of India.
MLA
Harel D, Harel D.; Kozen D. & Tiuryn J, .: Prentice Hall Of India. .