Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and Its Applications. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.