Cita APA (7a ed.)

Apt, K. R., & Olderog, E. (1991). Verification of sequential and concurrent programs. Springer.

Cita Chicago Style (17a ed.)

Apt, Krzysztof R., y E.-R Olderog. Verification of Sequential and Concurrent Programs. New York [etc.]: Springer, 1991.

Cita MLA (9a ed.)

Apt, Krzysztof R., y E.-R Olderog. Verification of Sequential and Concurrent Programs. Springer, 1991.