Harel, D. <br/><br/>
Dynamic logic 

 - Cambridge; Massachusetts  MIT Press  2000 
 - xv, 459p. 
 - Foundations of computing series .
<br/><br/><label>ISBN: </label>0-262-08289-6