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