Gaya APA

Using Z Specification, Refinement, and Proof. (1996). New Jersey: Prentice Hall.

Gaya MLA

Using Z Specification, Refinement, and Proof. . New Jersey: Prentice Hall, 1996. Text.