Regular Expressions and State Graphs for Automata,” in (1960)

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