ABRIAL, Jean-Raymond. Modeling in Event-B : system and software engineering. Cambridge [u.a.] : Cambridge University Press, 2010. xxvi, 586 s. Available on Internet: <http://www.gbv.de/dms/tib-ub-hannover/617737274.pdf> ISBN 978-0-521-89556-9.