SMS versenden: Computation theory and logic /