Ciancarini, P.;
Mascolo, C.;
Vitali, F.;
(1998)
Visualizing Z notation in HTML documents.
In: Bowen, J. and Fett, A. and Hinchey, M., (eds.)
Proceedings of the 11th International Conference on the Z Formal Method (ZUM).
(pp. pp. 81-95).
Springer Verlag