Pošalji SMS: Die formale Grundlegung der modernen Architektur