Goguen, Joseph <br/><br/>
Algebraic semantics of imperative programs / 
Joseph A. Goguen and Grant Malcolm 
 - Cambridge, Mass. :  MIT Press,  c1996 
 - vii, 228 p. :  ill. ;  24 cm. 
 - Foundations of computing .
<br/><br/>Includes bibliographical references (p. [223]-225) and index 
<br/><br/><label>ISBN: </label>026207172X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics<br/>Algebra