Gaya APA

Huth, M., Ryan, M. (2004). Logic In Computer Science Modelling and Reasoning about systems (E) Second Edition (Second Edition). New York: Cambridge University Press.

Gaya MLA

Huth, Michael., Ryan, Mark. "Logic In Computer Science Modelling and Reasoning about systems (E) Second Edition". Second Edition New York: Cambridge University Press, 2004. Teknik Informatika S1.