Testing and generating infinite sequences by a finite automaton (1966)

by R McNaughton
Venue:Information and Control