Harel, D. (2000). Dynamic logic. MIT Press.
Chicago-Zitierstil (17. Ausg.)Harel, David. Dynamic Logic. Cambridge, Mass: MIT Press, 2000.
MLA-Zitierstil (9. Ausg.)Harel, David. Dynamic Logic. MIT Press, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.