APA (7th ed.) Citation

Apt, K. (1997). Verification of sequential and concurrent programs (2nd ed.). Springer.

Chicago Style (17th ed.) Citation

Apt, Krzysztof. Verification of Sequential and Concurrent Programs. 2nd ed. Berlin: Springer, 1997.

MLA (8th ed.) Citation

Apt, Krzysztof. Verification of Sequential and Concurrent Programs. 2nd ed. Springer, 1997.

Warning: These citations may not always be 100% accurate.