1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Aguirre, N., Bicarregui, J., Dimitrakos, T., Maibaum, T.: Towards Dynamic Population Management of Components in the B Method. In: Proceedings of the 3rd International Conference of B and Z Users ZB2003, Turku, Finland. Springer, Heidelberg (2003)
3. The B-Toolkit User’s Manual, version 3.2, B-Core (UK) Limited (1996)
4. Digilog, Atelier B - Générateur d’Obligation de Preuve, Spécifications, Technical Report, RATP SNCF INRETS (1994)
5. Lecture Notes in Computer Science;T. Dimitrakos,2000