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

(1987). Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. IEEE Computer Society Press Association for Computing Machinery.

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

Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. Washington D.C New York: IEEE Computer Society Press Association for Computing Machinery, 1987.

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

Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. IEEE Computer Society Press Association for Computing Machinery, 1987.