Hachtel, Gary D, Samenzi,Fabio <br/><br/>
Logic Synthesis and Verification Algorithms 

 - New Delhi  Springer  2006 
 - 555 
<br/><br/><label>ISBN: </label>NMIT002579