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