Sipser, M. <br/><br/>
Introduction to the theory of computation 

 - Boston  PWS Publishing Company  1997 
 - xv, 396p. 
<br/><br/><label>ISBN: </label>0-534-94728-X