Object-Oriented
Software
Construction
2nd ed.

Design by Contract
by Example