Αποστολή με SMS: Principles of programming languages POPL'94