Author: Symposium on Mathematical Theory of Automata (1962 New York, N.Y.)