Die Vertragsautomatisierung mittels Smart Contracts hat in den letzten Jahren im Zusammenhang mit der Blockchain-Technologie viel Aufmerksamkeit erfahren. Weitgehend unbeachtet geblieben sind dagegen die Sprachaspekte solcher Verträge,...