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

Apt, K. R., & Olderog, E. (1991). Verification of sequential and concurrent programs. Springer.

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

Apt, Krzysztof R., και E.-R Olderog. Verification of Sequential and Concurrent Programs. New York: Springer, 1991.

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

Apt, Krzysztof R., και E.-R Olderog. Verification of Sequential and Concurrent Programs. Springer, 1991.