APT, Krzysztof R. und OLDEROG, Ernst-Rüdiger, 1997. Verification of sequential and concurrent programs. 2. ed. New York, NY [u.a.]: Springer. ISBN 0387948961.

Apt, K.R., Olderog, E.-R., 1997. Verification of sequential and concurrent programs, 2. ed. ed, Graduate texts in computer science. Springer, New York, NY [u.a.].

Apt, K. R., & Olderog, E.-R. (ca. 1997). Verification of sequential and concurrent programs [Book]. In Graduate texts in computer science (2. ed.). Springer.

Apt KR, Olderog E-R (1997) Verification of sequential and concurrent programs, 2. ed. Springer, New York, NY [u.a.]

Apt, Krzysztof R./ Olderog, Ernst-Rüdiger, Verification of sequential and concurrent programs, 2. ed. , New York, NY [u.a.] 1997.