Bolanos Castro, S. J., Medina García, V. H. and Joyanes Aguilar, L. (2008) “Principios para la Formalización de la Ingeniería de Software”, Ingeniería, 14(1), pp. 31–37. doi: 10.14483/23448393.2118.