A. H. S. Leite e R. V. Françozo, “Demonstração de dois teoremas sobre Sequências de Intervalos Encaixantes”, C. Q. D., vol. 23, nº 2, p. 97–104, dez. 2023.