Αποστολή με SMS: Programs, Proofs, Processes