Style de citation APA (7e éd.)

Apt, K. R., Boer, F. S., & Olderog, E. (2009). Verification of sequential and concurrent programs. Springer-Verlag.

Style de citation Chicago (17e éd.)

Apt, Krzysztof R., Frank S. Boer, et Ernst-R©ơdiger Olderog. Verification of Sequential and Concurrent Programs. London: Springer-Verlag, 2009.

Style de citation MLA (8e éd.)

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