Gérard Berry Ravi Sethi From Regular Expressions to Deterministic Automata. 117-126 1986 48 Theor. Comput. Sci. 3 db/journals/tcs/tcs48.html#BerryS86