Switching and finite automata theory - Kohavi,Zvi (Cambridge University Press, 2011)