A Video-based Training Course in Reading Z Specifications. - Allan Norcliffe; Samuel H. Valentine (Z User Workshop, 1990)