Bolanos Castro, Sandro Javier, et al. “Principios para la Formalización de la Ingeniería de Software”. Ingeniería, vol. 14, no. 1, Nov. 2008, pp. 31-37, doi:10.14483/23448393.2118.