z-specifications

Z specifications in LaTeX

Is there any package for LaTeX which will support writing Z specifications? I am interested in both horizontal and vertical formats for schemas. ...