Bolanos Castro, S. J.; Medina García, V. H.; Joyanes Aguilar, L. Principios para la Formalización de la Ingeniería de Software. Ing. 2008, 14, 31-37.