Sun M, Aichernig B, Barbosa LS, Naixião Z.? 2005.??A Coalgebraic Semantic Framework for Component Based Development in UML. Electronic Notes in Theoretical Computer Science. 122:229-245.