Text this: Mathematical theory of switching circuits and automata.