Αποστολή με SMS: Universal algebra and applications in theoretical computer science /