Invia SMS: Logic and algebra of specification /