SMS versenden: Logic and algebra of specification /