Tools for developing and reasoning about Z specifications
The following is the distribution management information used by this project.
scp://shell.sourceforge.net/home/project-web/czt/htdocs/typechecker/typechecker-z