z-notation

Known "Z notation" applications ?

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 most boring class that I have ever attended in my life. Maybe because of the teacher, but at the time we really all thought it was a big wast...

Zed Notation in LyX

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

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. ...