發送短信 : Mathematical foundations of programming semantics :