J. M. Bruel, Integrating Formal and Informal Specification Techniques. Why? How? In the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, pp.50-57, 1998.

J. M. Bruel, J. Lilius, A. Moreira, and R. B. France, Defining Precise Semantics for UML, Object-Oriented Technology, pp.113-122, 1964.
DOI : 10.1007/3-540-44555-2_10

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

R. Laleau and A. Mammar, A Generic Process to Refine a B Specification into a Relational Database Implementation, ZB 2000: Formal Specification and Development in Z and B, 2000.
DOI : 10.1007/3-540-44525-0_3

URL : https://hal.archives-ouvertes.fr/hal-01124529

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 à 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, Formalizing UML Behavioral Diagrams with B. In the Tenth OOP- SLA Workshop on Behavioral Semantics: Back to Basics, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107872

H. Ledang and J. Souquières, Integrating UML and B Specification Techniques, the Informatik2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques, Vienna (Autria), 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107870

H. Ledang and J. Souquières, Modeling Class Operations in B: Application to UML Behaviral Dia- grams, ASE2001: the 16th IEEE International Conference on Automated Software Engineering, pp.289-296, 2001.

H. Ledang and J. Souquières, Contributions for Modelling UML State-Charts in B, IFM 2002: Third International Conference on Integrated Formal Methods, pp.109-127, 2002.
DOI : 10.1007/3-540-47884-1_7

URL : https://hal.archives-ouvertes.fr/inria-00099403

H. Ledang and J. Souquières, Integration of UML models using B notation, WITUML: Workshop on Integration and Transformation of UML models, 2002.

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.

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