APA-Zitierstil (7. Ausg.)

Apt, K. R., Boer, F. S. d., & Olderog, E. (2009). Verification of sequential and concurrent programs (Third, extended edition.). Springer.

Chicago-Zitierstil (17. Ausg.)

Apt, Krzysztof R., Frank S. de Boer, und Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Third, extended edition. Dordrecht ; Heidelberg ; London ; New York: Springer, 2009.

MLA-Zitierstil (9. Ausg.)

Apt, Krzysztof R., et al. Verification of Sequential and Concurrent Programs. Third, extended edition. Springer, 2009.