SMS versenden: A Contribution to comprehension model and presentation of Z specifications :