توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Fujita, M., Ghosh, I., & Prasad, M. (2008). Verification techniques for system-level design. Morgan Kaufmann Publishers.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Fujita, Masahiro, Indradeep Ghosh, و Mukul Prasad. Verification Techniques for System-level Design. Amsterdam ; Boston: Morgan Kaufmann Publishers, 2008.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Fujita, Masahiro, et al. Verification Techniques for System-level Design. Morgan Kaufmann Publishers, 2008.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.