Bibliography: p265-276. - Includes index.
Z user workshop : proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 J. E. Nicholls (Ed.). ISBN 0387196277. Published by Springer-Verlag in 1990. Publication and catalogue information, links to buy online and reader comments.