1. Abrial, J.R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) Proc. of the 1-st Conference on the B method, Putting into Practice Methods and Tools for Information System Design, Nantes, France, pp. 169–190 (1996)
3. Lecture Notes in Computer Science;J.R. Abrial,1998
4. Benedetti, M., Cimatti, A.: Bounded Model Checking for Past LTL. TACAS, 18–33 (2003)
5. Lecture Notes in Computer Science;F. Bellegarde,2001