Ortiz-Rico, G. and Triviño-Viera, L.I. 2017. A coinductive approach to real analysis. Revista Integración, temas de matemáticas. 35, 1 (Aug. 2017), 103–125. DOI:https://doi.org/10.18273/revint.v35n1-2017007.