APA-Zitierstil (7. Ausg.)

Apt, K. R., de Boer, F. S., & Olderog, E. (2009). Verification of Sequential and Concurrent Programs (3rd ed. 2009.). Springer London. https://doi.org/10.1007/978-1-84882-745-5

Chicago-Zitierstil (17. Ausg.)

Apt, Krzysztof R., Frank S. de Boer, und Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. London: Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.

MLA-Zitierstil (9. Ausg.)

Apt, Krzysztof R., et al. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.