SMS versenden: Algebric specification