توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Hachtel, G. (2003). Logic Synthesis And Verification Algorithms (7.). Kluwer Academic Publishers.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Hachtel, G.D. Logic Synthesis And Verification Algorithms. 7. USA: Kluwer Academic Publishers, 2003.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Hachtel, G.D. Logic Synthesis And Verification Algorithms. 7. Kluwer Academic Publishers, 2003.