"Modeling in Event-B: System and Software Engineering" - читать интересную книгу автора (Jean-Raymond Abrial)