SMS versenden: Symbol manipulation languages and techniques :