@misc{indiciae97c9742bf91b, title = {Regular Expression Matching and Operational Semantics}, author = {Asiri Rathnayake and Hayo Thielecke}, year = {2011}, doi = {10.4204/eptcs.62.3}, url = {https://arxiv.org/abs/1108.3126}, note = {Source identifier: 1108.3126} }