Logical Methods in Computer Science | Logical Methods in Computer Science e.V. Cambridge University Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Logical Methods in Computer Science | Logical Methods in Computer Science E.V. Cambridge University Press.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Logical Methods in Computer Science | Logical Methods in Computer Science E.V. Cambridge University Press.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.