Z stuff

Zforum ftp archive

ftp://ftp.comlab.ox.ac.uk/pub/Zforum

DePaul ISE ftp server (has ztc type checker)

ftp://ise.cs.depaul.edu/dist

My Z extensions for nuweb

nuweb

My Z style file for LaTeX

mz.sty