Daher, Guilherme, Elton Cardoso, Leonardo Reis, and Rodrigo Ribeiro.
" Pest control: A formal model of the Pest parser generator." <em>Proceedings of the 29th Brazilian Symposium on Programming Languages,
Recife/PE, 2025</em>. SBC, 2025,  
pp.1-9.