Jean-Raymond Abrial. (2013). Modeling in Event-B (1.). Cambridge University Press.
Čikaški stil citiranja (17. izdanje)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
MLA način citiranja (8. izdanje)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.