Regular expressions and state graphs for automata (1960)

by R F McNaughton, H Yamada
Venue:IEEE Transactions on Electronic Computers