Enviar por SMS: Tvorba špecifikácií v Z jazyku