T. Sisel: "Consistency and minimality of UML class specifications"; Talk: LIX, Ecole Polytechnique, Palaiseau/Paris (invited); 2009-11-13.