Αποστολή με SMS: Programming Languages: Implementations, Logics, and Programs