發送短信 : Theoretical foundations of programming methodology :