APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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