發送短信: Abstraction mechanisms and language design / Paul N. Hilfinger.