From Boolean Logic to Switching Circuits and Automata - Stankovic, Radomir S. (Springer Berlin Heidelberg, 2011)