Goguen, J. A. <br/><br/>
Algebraic semantics of imperative programs 

 - Cambridge; Massachusetts  MIT Press  1996 
 - ix228p. 
 - Foundations of computing .
<br/><br/><label>ISBN: </label>0-262-07172-X