Παραπομπή σε μορφή APA (7η εκδ.)

Cooke, J. (1998). Constructing correct software: The basics. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Cooke, John. Constructing Correct Software: The Basics. London: Springer, 1998.

Παραπομπή σε μορφή MLA (9th εκδ.)

Cooke, John. Constructing Correct Software: The Basics. Springer, 1998.