Constructing Correct Software

MLA

Cooke, John. Constructing Correct Software. Springer London, 2005.

APA

Cooke, J. (2005). Constructing Correct Software. Springer London.

Chicago

Cooke, John Constructing Correct Software. : Springer London, 2005.