Παραπομπή σε μορφή APA (7η εκδ.)

Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous Software Development: An Introduction to Program Verification. Springer London : Imprint: Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Almeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto, και Simão Melo de Sousa. Rigorous Software Development: An Introduction to Program Verification. London: Springer London : Imprint: Springer, 2011.

Παραπομπή σε μορφή MLA (8th εκδ.)

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