SMS versenden: Formal description of programming concepts :