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

Huth, M., & Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems (2nd ed.). Cambridge University Press.

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

Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. Cambridge [U.K.] ; New York: Cambridge University Press, 2004.

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

Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. Cambridge University Press, 2004.