Ainita Ban. (2002). Reka bentuk alat penterjemahan: Ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z. Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Ainita Ban. Reka Bentuk Alat Penterjemahan: Ayat Bahasa Tabii Kepada Kalkulus Predikat Mengikut Sintaksis Z. Bangi: Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2002.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Ainita Ban. Reka Bentuk Alat Penterjemahan: Ayat Bahasa Tabii Kepada Kalkulus Predikat Mengikut Sintaksis Z. Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia, 2002.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.