International Conference on Computer Logic, Tallinn, Estonia, Martin-Löf, P., & Mint︠s︡, G. E. (1990). COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings. Springer-Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)International Conference on Computer Logic, Tallinn, Estonia, Per Martin-Löf, و G. E. Mint︠s︡. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings. Berlin ; New York: Springer-Verlag, 1990.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)International Conference on Computer Logic, Tallinn, Estonia, et al. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : Proceedings. Springer-Verlag, 1990.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.