APA Citatie

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

Chicago Style citaat

Gries, David ., Krzysztof R. Apt, en Ernst-Rudiger Olderog. Verification of Sequential and Concurrent Programs. 2. New York: Springer-Verlag, 1991.

MLA citatie

Gries, David ., et al. Verification of Sequential and Concurrent Programs. 2. Springer-Verlag, 1991.