Αποστολή με SMS: Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών