APA (7th ed.) Citation

Diller, A. (1990). Z - an introduction to formal methods. Wiley.

Chicago Style (17th ed.) Citation

Diller, Antoni. Z - an Introduction to Formal Methods. Chichester [u.a.]: Wiley, 1990.

MLA (9th ed.) Citation

Diller, Antoni. Z - an Introduction to Formal Methods. Wiley, 1990.