Hoperoft, J E

Formal Languages & their Relations Automata - Addison Wesley