Algebraic approaches to program semantics - Manes, Ernest G.; Arbib, Michael A. (New York Springer-Verlag, 1986)
Keywords: Programming Languages (Electronic Computers) -- Semantics; Algebra