A. V. Aho, Algorithms for Finding Patterns in Strings. Handbook of Theoretical Computer Science, Algorithms and Complexity, vol.A, pp.255-300, 1990.

D. Angluin, Finding patterns common to a set of strings, Journal of Computer and System Sciences, vol.21, issue.1, pp.46-62, 1980.
DOI : 10.1016/0022-0000(80)90041-0

C. Campeanu, K. Salomaa, and S. Yu, A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS, International Journal of Foundations of Computer Science, vol.14, issue.06, pp.1007-1018, 2003.
DOI : 10.1142/S012905410300214X

G. , D. Penna, B. Intrigila, E. Tronci, and M. Venturini-zili, Synchronized regular expressions, Acta Informatica, vol.39, issue.1, pp.31-70, 2003.

J. H. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving, 1986.

A. Hume, A tale of two greps, Software: Practice and Experience, vol.10, issue.11, pp.1063-1072, 1988.
DOI : 10.1002/spe.4380181105