The Event B Modelling Language has been developed by J.-R. Abrial and his team at ETHZ. We provide a list of informations and ressources related to Event B.
Logics of Specification Languages appears in the Series: Monographs in Theoretical Computer Science. An EATCS Series Bjorner, Dines; Henson, Martin C. (Eds.) . A chapter on Event B is cowritten by Dominique Cansell and Dominique Méry.