Apt, K. R., & Olderog, E. (1994). Programmverifikation: Sequentielle, parallele und verteilte Programme. Springer.
Chicago-Zitierstil (17. Ausg.)Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Berlin u.a: Springer, 1994.
MLA-Zitierstil (9. Ausg.)Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Springer, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.