E. Cardoso, L. Reis, and R. Ribeiro.
" A Verified Operational Semantics for Regular Expression Parsing", in <em>Proceedings of the 27th Brazilian Symposium on Programming Languages</em>, Campo Grande/MS, 2023, pp. 82–90.