Regular Expressions and State Graphs for Automata (1960)

by R et H Yamada McNaughton
Venue:IRE Transactions on Electronic Computers