Harel, D., Kozen, D. und Tiuryn, J. (2000) Dynamic logic [book], Foundations of computing. Cambridge, Mass. [u.a.]: MIT Press.
Chicago Manual of Style 17th edition (full note)Harel, David, Dexter Kozen, und Jerzy Tiuryn. Dynamic logic. Book. Foundations of computing. Cambridge, Mass. [u.a.]: MIT Press, [2000?], Cambridge, Mass. [u.a.]: MIT Press, [2000?].
American Psychological Association 7th editionHarel, D., Kozen, D., & Tiuryn, J. (ca. 2000). Dynamic logic [Book]. In Foundations of computing. MIT Press.
Modern Language Association 9th editionHarel, D., D. Kozen, und J. Tiuryn. „Dynamic logic“. Foundations of computing, book, MIT Press, 2000.
ISO-690 (author-date, Deutsch)HAREL, David, Dexter KOZEN und Jerzy TIURYN, 2000. Dynamic logic. Cambridge, Mass. [u.a.]: MIT Press. ISBN 0262082896
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.