1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for Event-B. Technical Report (2009)
3. Boespflug, M., Carbonneaux, Q., Hermant, O., Saillard, R.: Dedukti: a Universal Proof Checker. In: Journées communes LTP - LAC. Orléans, France, October 2012. https://hal-mines-paristech.archives-ouvertes.fr/hal-01537578
4. Butler, M., Maamria, I.: Mathematical extension in Event-B through the rodin theory component (2010)
5. Lecture Notes in Computer Science;G Dupont,2020