Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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