Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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