1. Abrial, J.-R.: The $$\sf {B}$$ B -Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (UK) (1996). ISBN: 0521496195
2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: $$\sf {Rodin}$$ Rodin : an open toolset for modelling and reasoning in $$\sf {Event}$$ Event - $$\sf {B}$$ B . Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
3. Abrial, J.-R., Mussat, L.: On using conditional definitions in formal theories. In: Formal Specification and Development in $$\sf {Z}$$ Z and $$\sf {B}$$ B (ZB), vol. 2272 of LNCS, pp. 317–322. Springer, Grenoble (France) Jan (2002)
4. Barendregt, H., Cohen, A.M.: Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. J. Symbolic Comput. 32(1–2), 3–22 (2001)
5. Berkani, K., Dubois, C., Faivre, A., Falampin, J.: Validation des règles de base de l’ $$\sf {Atelier~B}$$ Atelier B . Technique et Science Informatiques 23(7), 855–878 (2004)