Algebraic semantics of imperative programs /
Goguen, Joseph.
Malcolm, Grant.
Cambridge, Mass. ; London : MIT Press,
1996.
Includes bibliographical references and index.
Programming languages (Electronic computers)
Algebra.