Title: Automata studies
First published: 1956