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