1. Abrial, J.R.: The B Book. Cambridge University Press (1996)
2. Abrial, J.R. (ed.): Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)
3. Lecture Notes in Computer Science;J.-R. Abrial,1998
4. Arenas, A., Aziz, B., Bicarregui, J., Matthews, B.: Managing conflicts of interest in virtual organisations. Electron. Notes Theor. Comput. Sci. 197(2), 45–56 (2008),
http://dx.doi.org/10.1016/j.entcs.2007.12.016
, doi:10.1016/j.entcs.2007.12.016
5. Arenas, A.E., Djordjevic, I., Dimitrakos, T., Titkov, L., Claessens, J., Geuer-Pollmann, C., Lupu, E.C., Tiptuk, N., Wesner, S., Schubert, L.: Toward web services profiles for trust and security in virtual organisations. In: Collaborative Networks and their Breeding Environments (PRO-VE 2005). Springer (2005)