zed-csp
Typesetting Z and CSP format specifications. (3 Mar 1999)
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.) (30 Sep 1998)