MLA

Broy, M, et al. Engineering Theories of Software Intensive Systems. Springer Netherlands, 2005.

APA

Broy, M.Broy, M., Gruenbauer, J., Harel, D., & Hoare, T. (2005). Engineering Theories of Software Intensive Systems. Springer Netherlands.

Chicago

Broy, M., Manfred Broy, Johannes Gruenbauer, David Harel, and Tony Hoare. Engineering Theories of Software Intensive Systems. : Springer Netherlands, 2005.