1. The B Book: Assigning Programs to Meanings;Abrial,1996
2. Abstract behaviour types: a foundation model for components and their composition;Arbab,2003
3. Reo: a channel–based coordination model for component composition;Arbab;Mathematical Structures in Comp. Sci.,2004
4. Specifying software connectors;Barbosa,2004
5. M.A. Barbosa and L.S. Barbosa, A relational model for component interconnection. 10(7):808–823, 2004