Elton Cardoso, Leonardo Reis, and Rodrigo Ribeiro. 2023.
 A Verified Operational Semantics for Regular Expression Parsing. In <em>Anais do XXVII Simpósio Brasileiro de Linguagens de Programação</em>, setembro 25, 2023, Campo Grande/MS, Brasil. SBC, Porto Alegre, Brasil, 82–90.