Jean-Raymond Abrial. (2013). Modeling in Event-B (1.). Cambridge University Press.
Chicago-viite (17. p.)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
MLA-viite (8. p.)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.