Philippe Collet, Roger Rousseau: Classification et réification des assertions - Application au langage Eiffel. LMO 1996: 29-45