Αποστολή με SMS: Semantics and Algebraic Specification