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

Apt, K. R., Boer, F. S. d., & Olderog, E. (2009). Verification of Sequential and Concurrent Programs. Springer London.

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

Apt, Krzysztof R., Frank S. de Boer, και Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. London: Springer London, 2009.

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

Apt, Krzysztof R., et al. Verification of Sequential and Concurrent Programs. Springer London, 2009.