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

 - Cambridge  MIT  1996 
 - vii, 228 p. 
<br/><br/><label>Dewey Class. No.: </label>512.1 G558A