Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-typed Programming. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-typed Programming. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.