T. Baar, B. Beckert, and P. H. Schmitt, An Extension of Dynamic Logic for Modelling OCL???s @pre Operator, Proceedings , Fourth Andrei Ershov International Conference, Perspectives of 3 http://www.ArgoUML.org System Informatics, pp.47-54, 2001.
DOI : 10.1007/3-540-45575-2_7

B. Beckert, U. Keller, and P. H. Schmitt, Translating the Object Constraint Language into first-order predicate logic, Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), 2002.

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

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

E. W. Dijkstra, A Discipline of Programming, 1976.

D. Gries, The Science of Programming, 1981.
DOI : 10.1007/978-1-4612-5983-1

H. Habrias, Putting Into Practice Methods and Tools for Information System Design -1st Conference on the B Method, Nantes, 1996.

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 and J. Souquières, Formalizing UML Behavioral Diagrams with B, the Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, pp.162-171, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00107872

H. Ledang and J. Souquières, Modeling class operations in B: Application to UML behavioral diagrams, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.289-296, 2001.
DOI : 10.1109/ASE.2001.989815
URL : https://hal.archives-ouvertes.fr/inria-00107871

H. Ledang and J. Souquières, Derivation Schemes from OCL Expressions to B, Laboratoire Lorrain de Recherche en Informatique et ses Applications, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00099424

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.

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.