1. Abrial, J.-R.: The B book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: First B Conference, Putting Into Practice Methods and Tools for Information System Design, France, p. 21 (1996)
3. Lecture Notes in Artificial Intelligence;I. Bakam,2001
4. Clearsy,
http://www.b4free.com/download.htm
5. Fadil, H., Koning, J.-L.: Vers une spécification formelle des protocoles d’interaction des systèmes multi-agents en B. In: 6eConfrence Francophone de MOdlisation et SIMulation; MOSI 2006, Maroc (2006)