Αποστολή με SMS: Refinement in Z and Object-Z