Author: Symposium on Switching and Automata Theory (14th 1973 University of Iowa)