Αποστολή με SMS: Logic and algebra of specification /