ZB 2002 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson · First published 2003Open the Tome
ZB 2003 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · First published 2003Open the Tome
B'98: Recent Advances in the Development and Use of the B MethodBert Didier · First published 1998Open the Tome
Étude d'elements fondamentaux des langages de programmationDidier Bert · First published 1973Open the Tome
