Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 (Workshops in Computing)