Comp.specification.z and Z FORUM frequently asked questions (1993)

by Bowen JP
Venue:In Bowen JP, Nicholls JE (eds), Z User Workshop, London 1992, Workshops in Computing, pp 342--347