E. Cardoso, L. Reis, and R. Ribeiro.
" A Verified Operational Semantics for Regular Expression Parsing", in <em>Anais do XXVII Simpósio Brasileiro de Linguagens de Programação</em>, Campo Grande/MS, 2023, pp. 82–90.