(1988). Logic in Computer Science (1988): Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland. IEEE Computer Society Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Logic in Computer Science (1988): Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland. Washington D.C: IEEE Computer Society Press, 1988.
Παραπομπή σε μορφή MLA (8th εκδ.)Logic in Computer Science (1988): Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland. IEEE Computer Society Press, 1988.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.