Modeling in Event-B—system and software engineering (2010)

by J-R Abrial