Jean-Raymond Abrial. (2013). Modeling in Event-B (1.). Cambridge University Press.
Citazione stile Chigago Style (17a edizione)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Citatione MLA (8a ed.)Jean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.