Αποστολή με SMS: Coalgebraic Methods in Computer Science