. Clearsy, B Language Reference Manual -Version 1.8.7, 2010.

S. Demri, F. Laroussinie, and P. Schnoebelen, A parametric analysis of the state-explosion problem in model checking, J. Comput. Syst. Sci, 2006.

A. Idani and Y. Ledru, Dynamic graphical UML views from formal B specifications, Information and Software Technology, vol.48, issue.3, pp.154-169, 2006.
DOI : 10.1016/j.infsof.2005.03.008