L. Medeiros, F. Oliveira, and J. Szwarcfiter. "Limite superior algorítmico para a contagem de intervalo", in Anais do VI Encontro de Teoria da Computação, Evento Online, 2021, pp. 5-8, doi: https://doi.org/10.5753/etc.2021.16367.