Taibi , F. (2010). Framework For Merging Object-Oriented Formal Specifications.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Taibi , Fathi. Framework For Merging Object-Oriented Formal Specifications. 2010.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Taibi , Fathi. Framework For Merging Object-Oriented Formal Specifications. 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.