Robert McNaughton The Theory of Automata, a Survey. 379-421 1961 2 Advances in Computers db/journals/ac/ac2.html#McNaughton61