Αποστολή με SMS: Languages for System Specification