توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Mikhail, R. F., Berndt, D. J., & Kandel, A. (2010). Automated database applications testing: Specification representation for automated reasoning. World Scientific.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Mikhail, Rana Farid, Donald J. Berndt, و Abraham Kandel. Automated Database Applications Testing: Specification Representation for Automated Reasoning. Singapore ; Hackensack, NJ: World Scientific, 2010.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Mikhail, Rana Farid, et al. Automated Database Applications Testing: Specification Representation for Automated Reasoning. World Scientific, 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.