Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.