發送短信: Brief calculus and its applications /