Reiter, R. <br/><br/>
Knowledge in action: Logical foundations for specifying and implementing dynamical systems 

 - Massachusetts  MIT Press  2001 
 - xx, 424p. 
<br/><br/><label>ISBN: </label>0-262-18218-1