zed – Typeset Z specifications
A LaTeX 2.09 package for the task; it has been re-implemented for
current LaTeX in zed2e and
Note that this package, as it stands, uses the MSX and MSY fonts, which are no longer available (though virtual fonts are available that map them to the more recent MSA and MSB fonts.
|License||Unknown Status, No Information Available|
|Copyright||1988 J.M. Spivey|
typeset formal specification languages|