1. Attali, I., Courbis, C., Degenne, P., Fau, A., Fillon, J., Parigot, D., Pasquier, C., Coen, C.S.: SmartTools: a development environment generator based on XML technologies. In: XML Technologies and Software Engineering, Toronto, Canada. ICSE 2001, ICSE workshop proceedings (2001)
2. Lecture Notes in Computer Science;C. Attiogbé,2003
3. Oxford(UK) B-Core(UK) Ltd. B-Toolkit User’s Manual (1996)
4. ClearSy,
http://www.b4free.com/index.php
5. Houda, F., Merz, S.: Transformation de spécifications B en diagrammes UML. In: Proceedings of AFADL 2004, Besançon, Fr (2004)