MLA

Hutchison, David, et al. Unifying Theories of Programming. Springer Berlin Heidelberg, 2013.

APA

Hutchison, D., Kanade, T., Feliachi, A., & Gaudel, M. (2013). Unifying Theories of Programming. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Abderrahmane Feliachi, and Marie-Claude Gaudel. Unifying Theories of Programming. : Springer Berlin Heidelberg, 2013.