APA (7th ed.) Citation

Wordsworth, J. B. (1993). Software development with Z: A practical approach to formal methods in software engineering. Addison-Wesley.

Chicago Style (17th ed.) Citation

Wordsworth, J. B. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Wokingham [etc.]: Addison-Wesley, 1993.

MLA (9th ed.) Citation

Wordsworth, J. B. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering. Addison-Wesley, 1993.