APA (7th ed.) Citation

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 Style (17th ed.) Citation

Apt, Krzysztof R., Frank S. de Boer, and 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 (9th ed.) Citation

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.