S. J. Bolanos Castro, V. H. Medina García, and L. Joyanes Aguilar, “Principios para la Formalización de la Ingeniería de Software”, Ing., vol. 14, no. 1, pp. 31–37, Nov. 2008.