Author: Symposium on Switching and Automata Theory.