Daher, Guilherme, Elton Cardoso, Leonardo Reis, and Rodrigo Ribeiro.
" Pest control: A formal model of the Pest parser generator." <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação,
Recife/PE, 2025</em>. SBC, 2025,  
pp.1-9.