Title: Z User Workshop, London 1992
First published: 1993
Subjects: Logic design, Computer science, Software engineering