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

Apt, K. (1997). Verification of sequential and concurrent programs (2nd ed.). Springer.

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

Apt, Krzysztof. Verification of Sequential and Concurrent Programs. 2nd ed. Berlin: Springer, 1997.

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

Apt, Krzysztof. Verification of Sequential and Concurrent Programs. 2nd ed. Springer, 1997.