Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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