APA (7th ed.) Citation

Diller, A. (1995). Z: An introduction to formal methods (2. ed., repr.). Wiley.

Chicago Style (17th ed.) Citation

Diller, Antoni. Z: An Introduction to Formal Methods. 2. ed., repr. Chichester u.a: Wiley, 1995.

MLA (9th ed.) Citation

Diller, Antoni. Z: An Introduction to Formal Methods. 2. ed., repr. Wiley, 1995.