"A heterogeneous characterisation of component-based system design in a categorical setting" (2014) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.; Maibaum, T.S.E. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8687:314-332