MLA

Bosch, Peter, et al. Logic, Language, and Computation. Springer Berlin Heidelberg, 2009.

APA

Bosch, P., Gabelaia, D., Kanade, T., & Lang, J. (2009). Logic, Language, and Computation. Springer Berlin Heidelberg.

Chicago

Bosch, Peter, David Gabelaia, Takeo Kanade, and Jérôme Lang. Logic, Language, and Computation. : Springer Berlin Heidelberg, 2009.