發送短信 : Mathematical foundations of computer science :