Languages and machines an introduction to the theory of computer science - Sudkamp, Thomas A. (Reading, Mass. Addison-Wesley Pub., 1997)
Keywords: Formal languages; Computational complexity; Machine theory