Sudkamp, Thomas A Languages and machines: An introduction to the theory of computer science - 2nd ed. - Reading Addison-Wesley 1997 - xv, 569 p. Dewey Class. No.: 005.13 S22L