1. Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1995)
2. Lecture Notes in Computer Science;D. Ansorge,1999
3. Atkinson, C., Kühne, T., Bunse, C.: Dimensions of Component-based Development. In: Atkinson, C., Kühne, T., Bunse, C. (eds.) Fourth International Workshop on Component-Oriented Programming, (WCOP 1999) (1999)
4. Atkinson, C., Bayer, J., Laitenberger, O., Zettel, J.: A component-based software engineering: the KobrA approach. In: International Workshop on Component-Based Software Engineering, the 22nd International Conference on Software Engineering (ICSE2000) Limerick, Ireland (2000)
5. B Core UK limited, B Toolkit (1998),
http://www.b-core.com/btoolkit.html