توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Naja, M., Haghighi, H., & Nasab, T. Z. (2015). A survey on formal, object-oriented program development approaches. Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Naja, M., H. Haghighi, و T Zohdi Nasab. "A Survey on Formal, Object-oriented Program Development Approaches." Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical 2015.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Naja, M., et al. "A Survey on Formal, Object-oriented Program Development Approaches." Scientia Iranica. Transaction D, Computer Science & Engineering, Electrical, 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.