Building bug-free O-O software: An introduction to Design by Contract
Advanced use of assertions for clearer specifications and greater software reliability. By OO guru Bertrand Meyer, creator of Eiffel.