Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets. - P. Lefebvre; E. Bomal; M. de Heaulme (LMO, 1997)