Αποστολή με SMS: Reasoning about concurrent systems: a functional approach