Cita APA (7a ed.)

Almeida, J. B. (2011). Rigorous software development: An introduction to program verification. Springer.

Cita Chicago Style (17a ed.)

Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification. London [etc.]: Springer, 2011.

Cita MLA (9a ed.)

Almeida, José Bacelar. Rigorous Software Development: An Introduction to Program Verification. Springer, 2011.