Représentation et manipulation de programmes dans un atelier de génie logiciel. - Yann Rouzaud (1984)

Integrating Modes and Subtypes into a Prolog Type-Checker. - Yann Rouzaud; Lan Nguyen-Phuong (JICSLP, 1992)

Composition and Refinement in the B-Method. - Marie-Laure Potet; Yann Rouzaud (B, 1998)

Interpreting the B-Method in the Refinement Calculus. - Yann Rouzaud (World Congress on Formal Methods, 1999)