发送短信 : Abstraction, specification and implementation techniques :