Αποστολή με SMS: Τυπική σημασιολογία της γλώσσας προγραμματισμού C /