Cita APA (7a ed.)

Dix, A. J. (1991). Formal methods for interactive systems. Academic Press.

Cita Chicago Style (17a ed.)

Dix, Alan John. Formal Methods for Interactive Systems. San Diego [etc.]: Academic Press, 1991.

Cita MLA (9a ed.)

Dix, Alan John. Formal Methods for Interactive Systems. Academic Press, 1991.