Αποστολή με SMS: Predicate calculus and program semantics /