Towards a Systematic Object-Oriented transformation of a Mrise Analysis. - Isabelle Borne; Annya Romanczuk; Frédérique Stéfani (CSMR, 1998)

An algebraic view of UML class diagrams. - Pascal André; Annya Romanczuk; Jean-Claude Royer; Aline Vasconcelos (LMO, 2000)

Checking the Consistency of UML Class Diagrams Using Larch Prover. - Pascal André; Annya Romanczuk; Jean-Claude Royer (Rigorous Object-Oriented Methods, 2000)