"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"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

"Graphical modeling and simulation of discrete-event systems with CD++Builder" (2013) Bonaventura, M.; Castro, R.; Wainer, G.A. SIMULATION. 89(1):4-27