Modeling in Event-B: System and Software Engineering (2010)

by Jean-Raymond Abrial