Envoyer par SMS: Relational and algebraic methods in computer science :