Bibliography: Jean-Raymond Abrial publishes a book dedicated to Event-B

Jean-Raymond Abrial’s Event-B book has been published in may 2010.
This 600+ page book, written in english, is entitled “Modeling in Event-B: System and Software Design”.
It deals with system and software modeling in Event-B, a language issued from the B Method and allowing the description of systems with events.