توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Grady, J. O. (2007). System verification: Proving the design solution satisfies the requirements. Elsevier/Academic Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Grady, Jeffrey O. System Verification: Proving the Design Solution Satisfies the Requirements. Amsterday ; Boston: Elsevier/Academic Press, 2007.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Grady, Jeffrey O. System Verification: Proving the Design Solution Satisfies the Requirements. Elsevier/Academic Press, 2007.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.