Giandini, R. S. DOCUMENTACIÓN Y EVOLUCIÓN DE COMPONENTES REUSABLES, Contratos De Reuso Con Semántica De Comportamiento. EJS 2002, 4.