Sipser ( Michael ) Introduction to the Theory of Computation - NY Cengage Learning Dewey Class. No.: 511.3 / SIP