Title: Automata, Languages and Programming
First published: December 1979