1. Abrial, J.: The B-book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Abrial, J.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;J Bendisposto,2021
4. Boulanger, J.: Formal Methods: Industrial Use from Model to the Code. Wiley, New York (2013)
5. Burdy, L., Meynadier, J.M.: Automatic refinement. In: FM 1999 workshop - Applying B in an Industrial Context : Tools, Lessons and Techniques, Toulouse, France, Proceedings (1999)