P. Behm, P. Desforges, and J. Meynadier, M??T??OR: An industrial success in formal development, An invited talk at the 2nd Int. B conference, 1939.
DOI : 10.1007/BFb0053352

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

A. Cockburn, Structuring Use Cases with Goals, 1997.

D. Coleman, P. Arnold, . St, . Bodoff, . Ch et al., Object-Oriented Development : The Fusion Method, 1994.

D. F. Souza, A. C. Wills, . Objects, . Components, . Frameworks et al., The Catalysis Approach, 1998.

M. Glinz, A lightweight approach to consistency of scenarios and class models, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219), 2000.
DOI : 10.1109/ICRE.2000.855584

H. Ledang, Des cas d'utilisation à une spécification B, Journées AFADL'2001 : Approches Formelles dans l'Assistance au Développement de Logiciels, pp.11-13, 2001.

H. Ledang and J. Souquières, Modeling class operations in B : a case study on the pump component, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100689

Y. Ledru, G. Padiou, and J. Jaray, Étude de cas: Système de contrôle d'accès, 2000.

E. Meyer, Développements formels par objets: utilisation conjointe de B et d'UML, 2001.

E. Meyer and J. Souquières, A Systematic Approach to Transform OMT Diagrams to a B Specification, FM'99 : World Congress on Formal Methods in the Development of Computing Systems, 1999.
DOI : 10.1007/3-540-48119-2_48
URL : https://hal.archives-ouvertes.fr/inria-00098957

H. P. Nguyen, Dérivation de spécifications formelles B à partir de spécifications semi-formelles, Conservatoire National des Arts et Métiers -CEDRIC, 1998.

E. Sekerinski, Graphical Design of Reactive Systems98: Recent Advances in the Development and Use of the B Method -2nd International B Conference, LNCS, vol.1393, 1998.