al-Amayreh, A. A. R. (1997). Probe: A formal specification-based testing system. Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)al-Amayreh, Ahmed Abedl Rahman. Probe: A Formal Specification-based Testing System. Bangi: Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)al-Amayreh, Ahmed Abedl Rahman. Probe: A Formal Specification-based Testing System. Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.