Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990

J. E. Nicholls Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 Z User Workshop Workshops in Computing Springer 1991 3-540-19672-2 db/conf/zum/zum1990.html