"Boosting the Reuse of Formal Specifications" (2018) Moscato, M.M.;Lopez Pombo, C.G.;Muñoz, C.A. (...)Mahboubi A. 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018. 10895 LNCS:477-494

"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"Declaratively building behavior by means of scenario clauses" (2017) Asteasuain, F.; Braberman, V. Requirements Engineering. 22(2):239-274

"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

"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332