Alvarez-Picallo, M., & Ong, C. (2020). The difference λ-calculus: A language for difference categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Alvarez-Picallo, M., و CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Alvarez-Picallo, M., و CL Ong. The Difference λ-calculus: A Language for Difference Categories. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.