Αποστολή με SMS: Abstraction and specification in program development