Cita APA

Harel, D., Kozen, D. . .., & Tiuryn, J. . .. (2002). Dynamic logic. Prentice Hall of India.

Citación estilo Chicago

Harel, David, Dexter Kozen, y Jerzy Tiuryn. Dynamic Logic. New Delhi: Prentice Hall of India, 2002.

Cita MLA

Harel, David, et al. Dynamic Logic. Prentice Hall of India, 2002.