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

(1986). Logic in Computer Science (1986): Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986. IEEE Computer Society Press Association for Computing Machinery.

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

Logic in Computer Science (1986): Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986. Washington D.C. New York: IEEE Computer Society Press Association for Computing Machinery, 1986.

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

Logic in Computer Science (1986): Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986. IEEE Computer Society Press Association for Computing Machinery, 1986.