发送短信 : Formal description of programming concepts :