Παραπομπή σε μορφή APA (7η εκδ.)
Huth, M., & Ryan, M. (2005). Logic in computer science: Modelling and reasoning about systems (2nd ed.). CUP.
Παραπομπή σε μορφή Chicago (17η εκδ.)
Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. Cambridge: CUP, 2005.
Παραπομπή σε μορφή MLA (9th εκδ.)
Huth, Michael, και Mark Ryan. Logic in Computer Science: Modelling and Reasoning About Systems. 2nd ed. CUP, 2005.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.