APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. New York u.a: Springer, 1991.

MLA-Zitierstil (9. Ausg.)

Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Springer, 1991.