"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

"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91

"Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321