Using Z : specification, refinement, and proof /
Woodcock, J. C. P.(Jim C. P.),1956-
Davies, Jim.
London : Prentice Hall,
1996.
Includes bibliographical references and index
Z (Computer program language)
Computer software