Algebraic semantics of imperative programs - Goguen, Joseph (MIT Press, 1996)
Keywords: Programming languages (Electronic computers) -- Semantics.; Algebra.; elektronické knihy; electronic books