1. Arbab, F.: Reo: a channel–based coordination model for component composition. Mathematical Structures in Comp. Sci. 14(3), 329–366 (2004)
2. Barbosa, M.A., Barbosa, L.S.: A relational model for component interconnection. Journal of Universal Computer Science 10(7), 808–823 (2004)
3. Electronic Notes in Theoretical Computer Science;M.A. Barbosa,2007
4. Lecture Notes in Computer Science;M.A. Barbosa,2005
5. Barbosa, M.A.: Specification and Refinement of Software Connectors. PhD thesis, DI, Universidade do Minho (to appear, 2009)