Design by Contract, by Example, by Richard Mitchell and Jim McKim