Automata studies (Princeton Univ. Press, 1958)