Bolanos Castro, S.J. et al. 2008. Principios para la Formalización de la Ingeniería de Software. Ingeniería. 14, 1 (Nov. 2008), 31–37. DOI:https://doi.org/10.14483/23448393.2118.