zed-csp
Typesetting Z and CSP format specifications. (1999/03/03)
zefonts
Virtual T1 encoded Computer Modern fonts based on (OT1) Computer Modern, Times, and Helvetica fonts, intended to simulate `dc' fonts. (Wayne Sullivan's `dm' fonts are another approach to the substitution of `dc' fonts by virtual ones.) (1998/09/30)