4 Conclusion

This paper, based on the existing approaches of [ISO95a,ISO] and on the authors own contributions which became US positions and have been incorporated in [ISO] (and, earlier, in [ISO95c]), provides a possible approach for creating a toolkit to express generic specifications in Z. Obviously, we don't try to state that the way presented here is the only possible one. A Z toolkit like the one outlined here may be of substantial importance to specifiers who wish to understand, specify, and (re)use important standardized generic concepts encountered in all applications. This is analogous to the mathematical toolkit in [Uni95].

Acknowledgments: We would like to thank the anonymous referees for their constructive comments and helpful suggestions on an earlier version of this paper.