APA Style
Woodcock, Jim, Davies, Jim. (1996).
Using Z Specification, Refinement, and Proof .
New Jersey:
Prentice Hall.
Chicago Style
Woodcock, Jim, Davies, Jim.
Using Z Specification, Refinement, and Proof.
New Jersey:
Prentice Hall,
1996.
Text.
MLA Style
Woodcock, Jim, Davies, Jim.
Using Z Specification, Refinement, and Proof.
New Jersey:
Prentice Hall,
1996.
Text.
Turabian Style
Woodcock, Jim, Davies, Jim.
Using Z Specification, Refinement, and Proof.
New Jersey:
Prentice Hall,
1996.
Print.