Αποστολή με SMS: Principles of Programming Languages POPL '96