Mathematical theory of switching circuits and automata. - Hu, Sze-Tsen