Αποστολή με SMS: Formal Aspects of Computing