Αποστολή με SMS: Specification, Algebra, and Software