1. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without Changing it (for developping distributed systems). In: Habrias, H. (ed.) Proc. of the 1st Conf. on the B method, France, pp. 169–190 (1996)
3. Lecture Notes in Computer Science;J.-R. Abrial,2003
4. Lecture Notes in Computer Science;J.-R. Abrial,1998
5. B-Core. B-Toolkit. UK, consulted in 2006 (2006),
http://www.b-core.com