APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Diller, Antoni. Z: An Introduction to Formal Methods. 2nd ed. Chichester, West Sussex, England ; New York: Wiley & Sons, 1994.

MLA (9th ed.) Citation

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