Switching and finite automata theory - Kohavi, Zvi (Tata McGraw-Hill, 1978)