Cooke, J. (1999). Constructing correct software: The basics (2. print.). Springer.
Chicago-Zitierstil (17. Ausg.)Cooke, John. Constructing Correct Software: The Basics. 2. print. London [u.a.]: Springer, 1999.
MLA-Zitierstil (9. Ausg.)Cooke, John. Constructing Correct Software: The Basics. 2. print. Springer, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.