Cardoso, E., 		Reis, L., & 		Ribeiro, R.
(2023).
 A Verified Operational Semantics for Regular Expression Parsing.
In <em>Proceedings of the 27th Brazilian Symposium on Programming Languages</em>, (pp. 82–90). Porto Alegre: SBC.