Automata theory - Simon, Matthew (World Scientific, 1999)