Modeling in Event-B: System and Software Engineering Publication Type: Book Authors: Jean-Raymond Abrial Source: Cambridge University Press, Cambridge, UK (2010)
