APA (7th ed.) Citation

Apt, K. R., Boer, F. S. d., & Olderog, E. (2009). Verification of Sequential and Concurrent Programs. Springer London.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R., Frank S. de Boer, and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. London: Springer London, 2009.

MLA (8th ed.) Citation

Apt, Krzysztof R., et al. Verification of Sequential and Concurrent Programs. Springer London, 2009.