Gaya APA

Cooke, D, J. (2005). Constructing Correct Software (2nd ed.). London: Springer.

Gaya MLA

Cooke, D., John.. "Constructing Correct Software". 2nd ed. London: Springer, 2005. E Book.