Contracts examples and explanations - Blum, Brian A. (Aspen Publishers, 2004)