Αποστολή με SMS: Algebraic specification of communication protocols