Cardoso, E., 		Reis, L., & 		Ribeiro, R.
(2023).
 A Verified Operational Semantics for Regular Expression Parsing.
In <em>Anais do XXVII Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 82–90). Porto Alegre: SBC.