9. ZUM 1995:
: Compilation of Z Specifications into C for Automatic Test Result Evaluation.
: How Firing Conditions Help Inheritance.
: Exploring Specifications with Mathematica.
: Mental Models of Z: I - Sets and Logics.
: Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic.
Jonathan P. Bowen
: Comp.specification.z and Z FORUM Frequently Asked Questions.