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

 - Cambridge, MA:  MIT Press,  1996 
 - vii, 228 p. : ill. ; 24 cm 
<br/><br/><label>ISBN: </label>9780262071727 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebra
<br/><br/><label>Dewey Class. No.: </label>005.13 GOG