Cardoso, Elton, Leonardo Vieira dos Santos Reis, and Rodrigo Geraldo Ribeiro.
" A Verified Operational Semantics for Regular Expression Parsing." <em>Anais do XXVII Simpósio Brasileiro de Linguagens de Programação,
Campo Grande/MS, 2023</em>. SBC, 2023,  
pp.82–90.