Hill, Patricia M. <br/><br/>
Logic Based Program Synthesis and Transformation 

<br/><br/><label>ISBN: </label>9783540326564