Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Apt, Krzysztof R., y Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. 1st. ed. New York: Springer-Verlag, 1991.

Cita MLA (8a ed.)

Apt, Krzysztof R., y Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. 1st. ed. Springer-Verlag, 1991.