P. Lefebvre E. Bomal M. de Heaulme Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets. 79-94 1997 conf/lmo/1997 LMO db/conf/lmo/lmo1997.html#LefebvreBH97