發送短信 : Foundations of software science and computational structures :