Title: Introduction to the languages and the theory of computation
First published: 1991