The package supports real-time CSP and incorporates the functionality of Spivey's original Z package, written for LaTeX 2.09.
See also objectz.
The authors are Jim Davies and Mike Spivey. The package is Copyright © 1995 Jim Davies.
License: other-free Catalogued: 2012-03-30