Textmeddelande: Algebraic semantics / Irène Guessarian.