APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Apt, Krzysztof R. , Frank S. de Boer, and Ernst-Rudiger Olderog. Verification of Sequential and Concurrent Programs. 3rd, extended ed. Dordrecht ; New York: Springer, 2009.

MLA (9th ed.) Citation

Apt, Krzysztof R. , et al. Verification of Sequential and Concurrent Programs. 3rd, extended ed. Springer, 2009.