A Simpler Semantics for Z. - Paul H. B. Gardiner; P. J. Lupton; Jim Woodcock 001 (Z User Workshop, 1990)

Promoting Forward Simulation. - P. J. Lupton (Z User Workshop, 1990)