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