G. Daher, E. Cardoso, L. Reis, and R. Ribeiro.
" Pest control: A formal model of the Pest parser generator", in <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, Recife/PE, 2025, pp. 1-9, doi: <a href="https://doi.org/10.5753/sblp.2025.10399">https://doi.org/10.5753/sblp.2025.10399</a>.