TY  - BOOK
ED  - Z User Workshop (5th : 1990 : Oxford, England)
ED  - Nicholls, John E.
TI  - Z user workshop, Oxford 1990: proceedings of the fifth annual Z user meeting, Oxford, 17-18 December, 1990
SN  - 0387196722
PY  - 1991///
CY  - London
PB  - Springer-Verlag
KW  - Z (Computer program language)
KW  - Congresses
N1  - 'Published in collaboration with the British Computer Society.'; Includes bibliographical references and index
ER  -