1. André, P., Ardourel, G., Attiogbé, C.: A Formal Analysis Toolbox for the Kmelia Component Model. In: Proceedings of ProVeCS’07 (TOOLS Europe), Technical Report. ETH Zurich, 567 (2007)
2. Lecture Notes in Computer Science;P. André,2007
3. Lecture Notes in Computer Science;C. Attiogbé,2006
4. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience 36(11-12) (2006)
5. Bruneton, E., Coupaye, T., Stefani, J.: Recursive and Dynamic Software Composition with Sharing. In: Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP 2002) (2002)