Loeckx, J. (1987). The Foundations of Program Verification (Second Edition.). Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-96753-4
Chicago-Zitierstil (17. Ausg.)Loeckx, Jacques. The Foundations of Program Verification. Second Edition. Wiesbaden: Vieweg+Teubner Verlag, 1987. https://doi.org/10.1007/978-3-322-96753-4.
MLA-Zitierstil (9. Ausg.)Loeckx, Jacques. The Foundations of Program Verification. Second Edition. Vieweg+Teubner Verlag, 1987. https://doi.org/10.1007/978-3-322-96753-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.