1. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae 77(1-2), 1–28 (2007)
3. Lecture Notes in Computer Science;J. Bicarregui,2008
4. Crompton, S., Aziz, B., Wilson, M.D.: Sharing Scientific Data: Scenarios and Challenges. In: W3C Workshop on Access Control Application Scenarios (2009)
5. Lecture Notes in Computer Science;N. Damianou,2001