A. H. S. Leite and R. V. Françozo, “Demonstração de dois teoremas sobre Sequências de Intervalos Encaixantes”, C. Q. D., vol. 23, no. 2, pp. 97–104, Dec. 2023.