APA način citiranja (7. izdanje)

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

Čikaški stil citiranja (17. izdanje)

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

MLA način citiranja (9. izdanje)

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