Algebraic methods in semantics. - Nivat Maurice; Reynolds John C (1985)