Mathematical theory of switching circuits and automata. - Hu, Sze-Tsen (Berkeley University of California Press, 2008)