Nele Smeets, Eric Steegmans: A Methodology for Writing Class Contracts. SOFSEM 2005: 418-422