APA (7th ed.) Citation

Apt, K. R., & Olderog, E. (1991). Verification of sequential and concurrent programs. Springer-Verlag.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R., and E.-R Olderog. Verification of Sequential and Concurrent Programs. New York: Springer-Verlag, 1991.

MLA (9th ed.) Citation

Apt, Krzysztof R., and E.-R Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, 1991.