Pinto, P. E. D.; Lopes, J. P. A.; Brito, M. A. S. de. A Polynomial-Time Regular Expressions Implementation. CadINF 2017, 37, 22-36.