Pest control: A formal model of the Pest parser generator. - Guilherme Daher; Elton M. Cardoso; Leonardo Vieira dos Santos Reis; Rodrigo Ribeiro 001 (SBLP, 2025)