توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Hochtel,Gray D, و Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Hochtel,Gray D, و Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.