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

Andrews, J. H. (1992). Logic programming: Operational semantics and proof theory. Cambridge University Press.

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

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. [x.τ.]: Cambridge University Press, 1992.

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

Andrews, James H. Logic Programming: Operational Semantics and Proof Theory. Cambridge University Press, 1992.