Philippe Collet, Alain Ozanne, Nicolas Rivierre: Towards a Versatile Contract Model to Organize Behavioral Specifications. SOFSEM (1) 2007: 844-855