Daher, Guilherme, 		Cardoso, Elton, 		Reis, Leonardo, E 		Ribeiro, Rodrigo.
" Pest control: A formal model of the Pest parser generator" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (22 setembro 2025)