Algebraic methods in semantics - Nivat, Maurice (ed.) & Reynolds, John (Cambridge university press, Cambridge, 1985)