Counter-free automata - MacNaughton, Robert; Papert, Seymour 1928-2016 (MIT Press, 1971)