P. Behm, P. Desforges, J. Meynadier, and . Etéoret´etéor, An Industrial Success in Formal Development, An invited talk at the 2nd Int. B conference, 1939.

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

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

R. Laleau and A. Mammar, An overview of a method and its support tool for generating B specifications from UML notations, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000.
DOI : 10.1109/ASE.2000.873675
URL : https://hal.archives-ouvertes.fr/hal-01124519

K. Lano, The B Language and Method : A Guide to Practical Formal Development. FACIT, 1996.
DOI : 10.1007/978-1-4471-1494-9

H. Ledang, Des cas d'utilisationàutilisation`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. Souquì-eres, Modeling class operations in B : a case study on the pump component Laboratoire Lorrain de Recherche en Informatique et ses Applications Available at http://www.loria.fr/ ledang/publications/UML01.ps.Z. [10] R. Marcano and N. Lévy. Transformation d'annotations OCL en expressions B, Journées AFADL'2001 : Approches Formelles dans l'Assistance au Développement de Logiciels juin, pp.11-13, 2001.

R. Marcano, E. Meyer, N. Lévy, and J. Souquì-eres, Utilisation de patterns dans la construction de spcifications en UML et B, Journes AFADL'2000 : Approches Formelles dans l'Assistance au Développement de Logiciels, 2000.

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

E. Meyer and J. Souquì-eres, 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 ` a partir de spécifications semi-formelles, Conservatoire National des Arts et Métiers -CEDRIC, 1998.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.