Z User Workshop, London, UK, 14-15 December 1992, Proceedings

Jonathan P. Bowen J. E. Nicholls Z User Workshop, London, UK, 14-15 December 1992, Proceedings Z User Workshop Workshops in Computing Springer 1992 3-540-19818-0 db/conf/zum/zum1992.html