Title: Introduction to Theory of Computation
First published: September 1997