A Refinement Methodology for Object-Oriented Programs. - Asma Tafat; Sylvain Boulmé; Claude Marché (FoVeOOS, 2010)

Preuves par raffinement de programmes avec pointeurs. (Proofs by refinement of programs with pointers). - Asma Tafat (2013)