Gaya APA

Assertion-Based Design. (2005). Boston, MA: Springer.

Gaya MLA

Assertion-Based Design. 2nd ed.. Boston, MA: Springer, 2005. E Book.