Switching and finite Automata Theory - Kohasi,Z (New Delhi TMH, 2000)