Αποστολή με SMS: ZUM'97: The Z Formal Specification Notation