發送短信 : A practical introduction to denotational semantics /