Αποστολή με SMS: Relational and Kleene-Algebraic Methods in Computer Science