Similar Items: Mathematical theory of switching circuits and automata.