SMS versenden: The Logical Basis for Computer Programming :