Cita APA (7a ed.)

Woodcock, J., & Davies, J. (1996). Using Z: Specification, refinement, and proof. Prentice-Hall.

Cita Chicago Style (17a ed.)

Woodcock, Jim, y Jim Davies. Using Z: Specification, Refinement, and Proof. London [etc.]: Prentice-Hall, 1996.

Cita MLA (9a ed.)

Woodcock, Jim, y Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall, 1996.