An introduction to automata theory - Shields, M. W. (Mike W.) (Computer science texts, 1987)