APA Style

Harel, D. et al (2000). Dynamic logic . Cambridge, Mass. :: MIT Press,.

MLA Style

Harel, David,. et al. "Dynamic logic". Cambridge, Mass. :: MIT Press,, 2000. Text.