Αποστολή με SMS: Foundations of software technology and theoretical computer science