Barbosa LS, Sun M, Aichernig B, Rodrigues N.? 2006.??On the Semantics of Componentware: a Coalgebraic Perspective. Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. :69?117.