توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Asmiza Abdul Sani. (2013). Towards automated formal analysis of model transformation specifications.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Asmiza Abdul Sani. Towards Automated Formal Analysis of Model Transformation Specifications. 2013.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Asmiza Abdul Sani. Towards Automated Formal Analysis of Model Transformation Specifications. 2013.

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.