Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.