1. Abrial, J.R.: The B-Book Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0-521-49619-5
2. André, P., Ardourel, G., Attiogbé, C., Lanoix, A.: Contract-based Verification of Kmelia Component Assemblies using Event-B. In: Proceedings of FESCA (2010)
3. André, P., Ardourel, G., Attiogbé, C., Lanoix, A.: Using assertions to enhance the correctness of kmelia components and their assemblies. ENTCS 263, 5–30 (2010); Proceedings of FACS 2009
4. Baude, F., Caromel, D., Henrio, L., Morel, M.: Collective interfaces for distributed components. In: CCGRID, pp. 599–610. IEEE Computer Society, Los Alamitos (2007)
5. Bauer, S.S., Hennicker, R., Bidoit, M.: A Modal Interface Theory with Data Constraints. In: Proceedings of the 13th Brazilian Symposium on Formal Methods (SBMF 2010). LNCS series of Springer (to appear)