Zaslať SMS: Logic and algebra of specification /