发送短信 : Fundamentals of algebraic specification /