Switching and finite automata theory - Kohavi, ZVI (Tata McGraw-Hill, 1973)