1. J. R. Abrial. The B Book. Cambridge University Press-ISBN 0521-496195, 1996.
2. J. R. Abrial. Extending B without changing it (for developing distributed systems). In 1st Conference on the B method, pages 169–190, Nantes, France, November 1996.
3. J. R. Abrial. Constructions d’automatismes industriels avec B. In Congrès AFADL, ONERA-CERT-Toulouse, France, May 1997. Invited lecture.
4. Lect Notes Comput Sci;J. R. Abrial,1996
5. Lect Notes Comput Sci;J. R. Abrial,1997