Carl V. Page Equivalences between Probalistic and Deterministic Sequential Machines [Citation Graph (0, 0)][DBLP] Information and Control, 1966, v:9, n:5, pp:469-520 [Journal]
Robert McNaughton Testing and Generating Infinite Sequences by a Finite Automaton [Citation Graph (0, 0)][DBLP] Information and Control, 1966, v:9, n:5, pp:521-530 [Journal]