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

Huth, M., & Ryan, M. (2000). Logic in computer science: Modelling and reasoning about systems. Cambridge.

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

Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. New York: Cambridge, 2000.

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

Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge, 2000.