MLA

Duparc, Jacques, et al. Computer Science Logic. Springer Berlin Heidelberg, 2007.

APA

Duparc, J., Henzinger, T. A, Kanade, T., & Kittler, J. (2007). Computer Science Logic. Springer Berlin Heidelberg.

Chicago

Duparc, Jacques, Thomas A Henzinger, Takeo Kanade, and Josef Kittler. Computer Science Logic. : Springer Berlin Heidelberg, 2007.