Guilherme Daher, Elton Cardoso, Leonardo Reis, and Rodrigo Ribeiro. 2025.
 Pest control: A formal model of the Pest parser generator. In <em>Proceedings of the 29th Brazilian Symposium on Programming Languages</em>, September 22, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 1-9. DOI: <a href="https://doi.org/10.5753/sblp.2025.10399">https://doi.org/10.5753/sblp.2025.10399</a>.