E. J. Dubuc, M. Fragalá, and M. Valdora, “Un Poco de Matemática Constructiva”, Rev. Educ. Mat., vol. 20, no. 3, Oct. 2005, doi: 10.33044/revem.10777.