Modeling in Event-B: System and Software Engineering Вид публикации: Book Авторы: Jean-Raymond Abrial Источник: Cambridge University Press, Cambridge, UK (2010)
