Hopcroft, John E. Motwani, Rajeev. Ullman, Jeffrey, D. <br/><br/>
Introduction to Automata Theory, Languages, and Computation, 

 - 3rd ed. 
 - Chennai  Pearson   2013 
 - p.487 
<br/><br/><label>ISBN: </label>9788131720479 
<br/><br/><label>Subjects--Topical Terms: </label> Proofs  Automata  Protocal  Beaten 
<br/><br/><label>Dewey Class. No.: </label>621.38195B76E