Αποστολή με SMS: Formal Foundations for Software Engineering Methods