The file proc.ps.Z is the

        PROCEEDINGS OF THE 1992
              WORKSHOP ON
     TYPES FOR PROOFS AND PROGRAMS

in PostScript format.