Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.