Cita APA (7a ed.)

Harrison, M. D., & Thimbleby, H. (1990). Formal methods in human-computer interaction. University Press.

Cita Chicago Style (17a ed.)

Harrison, M. D., y Harold Thimbleby. Formal Methods in Human-computer Interaction. Cambridge [etc.]: University Press, 1990.

Cita MLA (9a ed.)

Harrison, M. D., y Harold Thimbleby. Formal Methods in Human-computer Interaction. University Press, 1990.