objectz – Macros for typesetting Object Z
The package will typeset both Z and Object-Z specifications; it develops the original zed package
|The LaTeX Project Public License
|1995–1999 Sebastian Rahtz
|David Leadbetter (inactive)
Sebastian Rahtz (deceased)
|TeX Live as objectz
MiKTeX as objectz
Download the contents of this package in one zip archive (275.5k).
Maybe you are interested in the following packages as well.
- zed-csp: Typesetting Z and CSP format specifications
- vdmlisting: Typesetting VDM in ASCII syntax
- ebnf: Simple package for EBNF productions
- dvistd: A standard for DVI drivers