Rigorous Software Development
MLA
Almeida, José Bacelar, et al. Rigorous Software Development. Springer London, 2011.
APA
Almeida, J. Bacelar, Frade, M. João, Melo de Sousa, S., & Pinto, J. Sousa. (2011). Rigorous Software Development. Springer London.
Chicago
Almeida, José Bacelar, José Bacelar Almeida, Maria João Frade, Maria João Frade, Simão Melo de Sousa, and Jorge Sousa Pinto. Rigorous Software Development. : Springer London, 2011.