Sophie Dupuy Yves Ledru Monique Chabre-Peccoud Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. 2000 6 L'OBJET 1 db/journals/Lobjet/Lobjet6.html#DupuyLC00