Cardoso, E., 		Reis, L., & 		Ribeiro, R.
2023 Sep 25.  A Verified Operational Semantics for Regular Expression Parsing. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :