W: A Logic for Z. - J. C. P. Woodclock; S. M. Brien (Z User Workshop, 1991)