1. Abrial, J.-R.: The B-book: assigning programs to meanings. University Press, Cambridge (1996)
2. Ambert, F., Bouquet, F., Legeard, B., Peureux, F., et al.: BZ-Testing-Tools (2002)
3. Bodeveix, J.-P., Filali, M., Muñoz, C.: A formalization of the B-method in Coq and PVS. In: Electronic Proc. B-User Group Meeting FM 99, pp. 33–49 (1999)
4. Lecture Notes in Computer Science;P Chartier,1998
5. ClearSy. ComenC, B0 implementation translation into C language (2008).
http://www.comenc.eu