1. J-R. Abrial, The B-Book, Cambridge University Press, 1996.
2. Lect Notes Comput Sci;J.-R. Abrial,1998
3. Steria Méediterranéee, Le Langage B. Manuel de réeféerence version 1.5,S.A.V. Steria, BP 16000,13791 Aix-en-Provence cedex 3,France.
4. R. J. R. Back, On the Correctness of Refinement Steps in Program Development, Report A-1978-4, Dept. of Computer Science, University of Helsinki, 1978.
5. R. J. R. Back, M. Butler, Fusion and Simultaneous Execution in the Refinement Calculus, Acta Informatica 35, 921–949, 1998.