Philippe Collet, Roger Rousseau. Classification et réification des assertions - Application au langage Eiffel. In Yves Dennebouy, editor, Actes des journéees Langages et Modèles à Objets, LMO 96. Leysin, 16-18 octobre. pages 29-45, Ecole Polytechnique Fédérale de Lausanne, CH, 1996.
Abstract is missing.