APA način citiranja (7. izdanje)
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Čikaški stil citiranja (17. izdanje)
Hochtel,Gray D, i Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
MLA način citiranja (9. izdanje)
Hochtel,Gray D, i Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.