Cita APA (7a ed.)

Diller, A. (1991). Z: An introduction to formal methods. John Wiley & Sons.

Cita Chicago Style (17a ed.)

Diller, Antoni. Z: An Introduction to Formal Methods. Chichester [etc.]: John Wiley & Sons, 1991.

Cita MLA (9a ed.)

Diller, Antoni. Z: An Introduction to Formal Methods. John Wiley & Sons, 1991.