Prado, D. N. M. do; Nascimento, V. G. do. Teses . RLE 2023, 56.