Αποστολή με SMS: Logic and Program Semantics