Title: Understanding Z: A Specification Language and its Formal Semantics
Description: By J.M. Spivey; Cambridge University Press, 1988, ISBN 0521334292. Compares Z to other methods (VDM, CLEAR), last chapter has studies in Z style showing Z can be used in a variety of specification tasks. [Cambridge University Press]