Ortiz-Rico, G.; Triviño-Viera, L. I. Un Acercamiento Coinductivo Al análisis Real. Rev. Integr. temas mat. 2017, 35, 103-125.