APA (7th ed.) Citation

Cooke, J. (2005). Constructing correct software / John Cooke (2nd ed.). Springer.

Chicago Style (17th ed.) Citation

Cooke, John. Constructing Correct Software / John Cooke. 2nd ed. London: Springer, 2005.

MLA (9th ed.) Citation

Cooke, John. Constructing Correct Software / John Cooke. 2nd ed. Springer, 2005.

Warning: These citations may not always be 100% accurate.