Algebraic semantics - Guessarian, Irène (Springer, 1981)