Title: Mathematical theory of automata
First published: 1963