Αποστολή με SMS: Abstraction mechanisms and language design