1. Regexlib.
http://www.regexlib.com/
2. Almeida, M., Moreira, N., Reis, R.: On the performance of automata minimization algorithms. In: Proceedings of the 4th Conference on Computation in Europe: Logic and Theory of Algorithms, pp. 3–14 (2007)
3. Lecture Notes in Computer Science;M Almeida,2011
4. Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events. Math. Theory Automata 12(6), 529–561 (1962)
5. D’Antoni, L., Veanes, M.: Minimization of symbolic automata. In: ACM SIGPLAN Notices, vol. 49, pp. 541–553. ACM (2014)