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

I was just remembering back my university classes and was wondering to know if anyone out here even used the "Z notation" in a professional environment. I honestly must say that it was the single m...

Is it possible to create Zed Notation schemes in LyX? How can it be done?