Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. - Frédéric Badeau; Didier Bert; Sylvain Boulmé; Christophe Métayer; Marie-Laure Potet; Nicolas Stouls; Laurent Voisin (Tech. Sci. Informatiques, 2004)

DIR 41 Case Study. - Christophe Métayer; Mathieu Clabaut (ABZ, 2008)

Modelling Dynamic Data Structures with the B Method. - Frédéric Badeau; Vincent Lacroix; Vincent Monfort; Laurent Voisin; Christophe Métayer (ABZ, 2018)