Zaslat SMS: Algebraic semantics / Irène Guessarian.