Switching and finite automata theory. Second edition. - McGraw-Hill, 1978. - ( Computer science series ).