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

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.
DOI : 10.1109/wift.1998.766297
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.2982

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

S. Dupuy, Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information, 2000.

A. F. Egyed, Heterogenous View Integration and Its Automation, 2000.

R. B. France and J. M. Bruel, Rigorous analysis and design with the unified modeling language, 2001.

R. B. France, J. M. Bruel, M. Larrondo-petrie, and E. Grant, Rigorous object-oriented modeling: Integrating formal and informal notations, 6th International AMAST Conference, 1997.
DOI : 10.1007/BFb0000473
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1634

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. Kilov, H. Mogill, and I. Simmonds, Invariants in the Trenches, Object-Oriented Behavioral Specifications, pp.77-100, 1996.
DOI : 10.1007/978-0-585-27524-6_6

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, Formal Techniques in the Object-Oriented Development: an Approach based on the B method In the 11th PhDOOS Workshop: PhD Students in Object-Oriented Systems, 2001.

H. Ledang and J. Souquières, Integrating UML and B Specification Techniques
URL : https://hal.archives-ouvertes.fr/inria-00107870

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

H. Ledang and J. Souquières, New Approach for Modeling State-Chart Diagrams in B, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107544

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

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, pp.11-13, 2001.

O. Maury, C. Oriat, and Y. Ledru, Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML, Journées AFADL'2001: Approches Formelles dans L'Assistance au Développement de Logiciels, pp.11-13, 2001.

B. Meyer, Reusable Software, 1994.

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 semiformelles, Conservatoire National des Arts et Métiers -CEDRIC, 1998.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 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.

C. Snook and R. Harrison, Practitioners Views on the Use of Formal Methods: An Industrial Survey by Structured Interview. Information and Software Technology, pp.275-283, 2001.