1. Abrial, J.R.: The B-Book-Assigning Programs to Meanings, Cambridge University Press (1996)
2. Behm, P., Desforges, P., Mejia, F.: Application de la méthode B dans l’industrie ferroviaire, In: Application des techniques formelles au logiciel, ARAGO 20, OFTA, ISBN 2-906028-06-1 (1997) 59–87
3. Lect Notes Comput Sci;P. Behm,1998
4. Behnia, S., Waeselynck, H.: External Verification of a B Development Process, In: Proceedings of 9th European Workshop on Dependable Computing, May (1998) 93–96
5. Bieman, J.M., Baker, A.L., Clites, P.N., Gustafson, D.A., Melton, A.C.: A Standard Representation of Imperative Language Programs for Data Collection and Software Measures Specification, The Journal of Systems and Software 8 (1998) 13–37