A Methodology for Writing Class Contracts. - Nele Smeets; Eric Steegmans (SOFSEM, 2005)