MLA

Butler, Michael, et al. Rigorous Development of Complex Fault-tolerant Systems. Springer Berlin Heidelberg, 2006.

APA

Butler, M., Jones, C. B, Kanade, T., Romanovsky, A., Troubitsyna, E., & Jones, C. (2006). Rigorous Development of Complex Fault-Tolerant Systems. Springer Berlin Heidelberg.

Chicago

Butler, Michael, Cliff B Jones, Takeo Kanade, Alexander Romanovsky, Elena Troubitsyna, and Cliff Jones. Rigorous Development of Complex Fault-Tolerant Systems. : Springer Berlin Heidelberg, 2006.