Design By Contract, By Example by Richard Mitchell & James C. McKim Jr