Switching and finite automata theory - Kohavi (McGraw-Hill computer science series, 1978)