Αποστολή με SMS: Programming Languages and Operational Semantics