Title: Automata and languages
First published: 1991