APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Apt, Krzysztof R., and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. 2. ed. Springer, 1997.