Apt, K. R., & Olderog, E. (1990). Introduction to program verification.
Chicago-Zitierstil (17. Ausg.)Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Introduction to Program Verification. Amsterdam, 1990.
MLA-Zitierstil (9. Ausg.)Apt, Krzysztof R., und Ernst-Rüdiger Olderog. Introduction to Program Verification. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.