APA (7th ed.) Citation

Apt, K. R., & Olderog, E. (1997). Verification of Sequential and Concurrent Programs (Second Edition.). Springer New York.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R., and E.-R Olderog. Verification of Sequential and Concurrent Programs. Second Edition. New York, NY: Springer New York, 1997.

MLA (9th ed.) Citation

Apt, Krzysztof R., and E.-R Olderog. Verification of Sequential and Concurrent Programs. Second Edition. Springer New York, 1997.