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