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 Conference on the B method, France, pp. 169–190 (1996)
3. Abrial, J.-R.: Event Driven Distributed Program Construction. MATISSE project (August 2001)
4. Abrial, J.-R.: Discrete System Models. Internal Notes ( B, B Working Group) (February 2002), available at
http://www-lsr.imag.fr/
5. Lecture Notes in Computer Science;J.-R. Abrial,2003