[1]   J.-R. Abrial. Modeling in Event-B: System and Software Engineering. 2010.

[2]   Dines Bjørner and Martin C. Henson, editors. Logics of Specification Languages. EATCS Textbook in Computer Science. Springer, 2007.

[3]   Dominique Cansell and Dominique Méry. The event-B Modelling Method: Concepts and Case Studies, pages 33–140. Springer, 2007. See  [2].