Title: Automata, languages and programming
First published: 1980