W: A logic for Z (1992)

by Woodcock JCP, Brien SM
Venue:In Nicholls JE (ed), Z User Workshop, York 1991, Workshops in Computing, pp 77{96