Zaslať SMS: Tvorba špecifikácií v Z jazyku