Hoare, C. A. R., & He, J. (1985). The weakest prespecification.
Chicago-Zitierstil (17. Ausg.)Hoare, Charles A. R., und Jifeng He. The Weakest Prespecification. Oxford, 1985.
MLA-Zitierstil (9. Ausg.)Hoare, Charles A. R., und Jifeng He. The Weakest Prespecification. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.