Penggayaan APA

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

Chicago Style

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

MLA Style

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

Turabian Style

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