MLA

Dunne, Steve, et al. Unifying Theories of Programming. Springer Berlin / Heidelberg, 2006.

APA

Dunne, S., Kanade, T., Stoddart, B., & Kittler, J. (2006). Unifying Theories of Programming. Springer Berlin / Heidelberg.

Chicago

Dunne, Steve, Takeo Kanade, Bill Stoddart, and Josef Kittler. Unifying Theories of Programming. : Springer Berlin / Heidelberg, 2006.