Αποστολή με SMS: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction