Gopalakrishnan, Ganesh <br/><br/>
Computation engineering applied Automata Theory and Logic 
Ganesh Gopalakrishnan 
 - New York  Springer  2006 
 - xvii, 461p 
<br/><br/><label>ISBN: </label>387325204  E74.95