SMS versenden: Die formale Grundlegung der modernen Architektur