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

by J-R Abrial