Αποστολή με SMS: Theories of Programming and Formal Methods