Envoyer par SMS: Die formale Grundlegung der modernen Architektur