P. Garozi and A. Silva.
" Static Analysis for Program Execution Cost Estimation", in <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, Recife/PE, 2025, pp. 67-74, doi: <a href="https://doi.org/10.5753/sblp.2025.13116">https://doi.org/10.5753/sblp.2025.13116</a>.