Cardoso, E., 		Reis, L., & 		Ribeiro, R.
2023 set 25.  A Verified Operational Semantics for Regular Expression Parsing. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :