Y. A. Poveda Quiñones, E. A. Valencia Angulo, and C. A. Escudero Salcedo, “Operaciones recursivas en teoría de categorías”, Sci. tech, vol. 18, no. 1, pp. 218–224, Apr. 2013.