Software development with Z: a practical approach to formal methods in software engineering - Wordsworth, J. B. (Reading, Mass.: Addison-Wesley, 1992)
p. 321-324
Keywords: Z (Computer program language).; Computer software -- Development