Jean-Raymond Abrial. (2013). Modeling in Event-B (1.). Cambridge University Press.
Chicago (17e ed.) BronvermeldingJean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
MLA (8e ed.) BronvermeldingJean-Raymond Abrial. Modeling in Event-B. 1. Cambridge University Press, 2013.
Let op: Deze citaties zijn niet altijd 100% accuraat.