Editor Gerard Prudhomme <br/><br/>
Automata Theory and Logic 

 -  Arcter Press  2018 
<br/><br/> Includes References, Citations and Index 
<br/><br/><label>ISBN: </label>978-1-77361-271-3 
<br/><br/><label>Dewey Class. No.: </label>511.3 Au81 2018