Well Defined B. - Patrick Behm; Lilian Burdy; Jean-Marc Meynadier (B, 1998)

MÉTÉOR : An Industrial Success in Formal Development. - Patrick Behm; Pierre Desforges; Jean-Marc Meynadier (B, 1998)

Météor: A Successful Application of B in a Large Project. - Patrick Behm; Paul Benoit; Alain Faivre; Jean-Marc Meynadier (World Congress on Formal Methods, 1999)