Gaya APA

Constructing Correct Software. (2005). London: Springer.

Gaya MLA

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