APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Harrison, M. D., and Harold Thimbleby. Formal Methods in Human-computer Interaction. Cambridge ; New York: Cambridge University Press, 1990.

MLA (9th ed.) Citation

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