Harel, D., Kozen , D., & Tiuryn, J. (2000). Dynamic logic. Prentice Hall of India.
Chicago Edition CitationHarel, David, Dexter Kozen , and Jerzy Tiuryn. Dynamic Logic. New Delhi: Prentice Hall of India, 2000.
MLA Edition CitationHarel, David, et al. Dynamic Logic. Prentice Hall of India, 2000.
Warning: These citations may not always be 100% accurate.