Regular expressions and state graphs for automata (1960)

by R McNaughton, H Yamada
Venue:IEEE Trans. Elec. Comp