Switching and finite automata theory, 2nd ed. | IEEE Journals & Magazine | IEEE Xplore