1. Compilers: Principles, Techniques, and Tools;Aho,1986
2. Stepwise development of formal models for web services compositions: Modelling and property verification;Ait-Sadoune,2013
3. A general framework for architecture composability;Attie et al;Formal Aspects Comput.,2016
4. Component assemblies in the context of manycore;Basu,2011
5. Rigorous component-based system design using the bip framework;Basu;IEEE Software,2011