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