Craveiro, C. B. A.; Oliveira, L. C. D. Teses. RLE 2023, 60.