Title: Z User Workshop, York, 1991
Subjects: Programming languages (electronic computers), Computer science, Software engineering, Logic design