Michael Sipser Introduction to the theory of COMPUTATION - Thomson 2006 Includes Selected Bibliography and Index ISBN: 0-619-21764-2 Dewey Class. No.: 511.352 Si7 2006