Preuves de programmes sans induction. - Didier Bégay; Laurent Kott (CLAAP, 1980)

Construction and Analysis of Transition Systems with MEC - André Arnold; Didier Bégay; Paul Crubillé (World Scientific, 1994)

The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. - André Arnold; Didier Bégay; Jean-Pierre Radoux (AMAST, 1996)

An Example of Use of Formal Methods to Debug an Embedded Software. - André Arnold; Didier Bégay; Jean-Pierre Radoux (FME, 1996)

The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project. - André Arnold; Didier Bégay; Jean-Pierre Radoux (Sci. Comput. Program., 1997)

A realistic involvement of formal methods. - Didier Bégay; Antoine Rauzy (Softw. Pract. Exp., 2001)