Αποστολή με SMS: Formal Approaches to Semantics and Pragmatics