J. P. Bodeveix and M. Filali, Type Synthesis in B and the Translation of B to PVS, Lecture Notes in Computer Science, vol.2272, pp.350-369, 2002.
DOI : 10.1007/3-540-45648-1_18

R. Laleau and A. Mammar, A Generic Process to Refine a B Specification into a Relational Database Implementation, Lecture Notes in Computer Science, vol.1878, pp.5-22, 2000.
DOI : 10.1007/3-540-44525-0_3
URL : https://hal.archives-ouvertes.fr/hal-01124529

X. Leroy, D. Doligez, J. Garrigue, D. R<e9>my, and J. Vouillon, The objective caml system, INRIA (2005) Software and documentation available on the Web http

J. R. Abrial, The B Book -Assigning Programs to Meanings, 1996.

S. Colin and G. Mariano, BiCoax, a proof tool traceable to the BBook In: From Research to Teaching Formal Methods -The B Method, 2009.

R. Marcano and N. Levy, Using B formal specifications for analysis and verification of UM- L/OCL models In: Workshop on consistency problems in UML-based software development, 5th International Conference on the Unified Modeling Language, 2002.

S. Colin, G. Mariano, and V. Poirriez, Duration calculus: A real-time semantic for B. In: First International Colloquium on Theoretical Aspects of Computing, 2004.

D. Petit, V. Poirriez, and G. Mariano, The B method and the component-based approach, Journal of Design & Process Science: Transactions of the SDPS, vol.8, issue.1, pp.65-76, 2004.