Symposium on Switching and Automata Theory (13th 1972 University of Maryland)