Boerger, E. <br/><br/>
The classical decision problem / 
E. Boerger, E. Gradel and Y. Gurevich 
 - New York :  Springer-Verlag,  1997 
<br/><br/><label>ISBN: </label>354057073X