Design by Contract: By Example | MenrvaBooks