Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 (Workshops in Computing)Bowen, J. P & 2 more1994PDF