APT, Krzysztof R., BOER, Frank S. de und OLDEROG, Ernst-Rüdiger, 2009. Verification of sequential and concurrent programs. 3., extend. ed. New York, NY [u.a.]: Springer. ISBN 9781848827448.

Apt, K.R., Boer, F.S. de, Olderog, E.-R., 2009. Verification of sequential and concurrent programs, 3., extend. ed. ed, Texts in computer science. Springer, New York, NY [u.a.].

Apt, K. R., Boer, F. S. de, & Olderog, E.-R. (ca. 2009). Verification of sequential and concurrent programs [Book]. In Texts in computer science (3., extend. ed.). Springer.

Apt KR, Boer FS de, Olderog E-R (2009) Verification of sequential and concurrent programs, 3., extend. ed. Springer, New York, NY [u.a.]

Apt, Krzysztof R./ Boer, Frank S. de/ Olderog, Ernst-Rüdiger, Verification of sequential and concurrent programs, 3., extend. ed. , New York, NY [u.a.] 2009.