Αποστολή με SMS: Formal models and semantics /