Bradley, Aaron R. <br/><br/>
Calculus of computation  Decision procedures with applications to verification / 

 - New Delhi :  Springer ,  2007. 
 - xv+366 
<br/><br/><label>ISBN: </label>9788184893960