Αποστολή με SMS: Logical foundations of functional programming /