1. Abrial, J.-R.: The B-book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, New York (2010)
3. Abrial, J.-R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for Event-B. Technical report (2010). http://deploy-eprints.ecs.soton.ac.uk/216/
4. Lecture Notes in Computer Science;R Banach,2018
5. Banach, R.: Core hybrid event-B I: single hybrid event-B machines. Sci. Comput. Program. 105, 92–123 (2015)