Algebraic methods in semantics - Nivat, M.; Reynolds, John C. (Cambridge [Cambridgeshire] : The University Press, 1985)
Keywords: Programming languages (Electronic computers) -- Semantics; Algebra; Categories (Mathematics)