Bernard M. Moret <br/><br/>
The Theory of Computation 

 - USA  Prentice Hall   1998 
 - 453