Αποστολή με SMS: The Denotational Description of Programming Languages