Hazel, Davide  <br/><br/>
Dynamic logic 

 - Vidhyanagar  PHI  2006 
<br/><br/><label>ISBN: </label>81-203-2239-8 
<br/><br/><label>Dewey Class. No.: </label>515.352  / HAZ