Cytowanie według stylu APA (wyd. 7)

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

Cytowanie według stylu Chicago (wyd. 17)

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

Cytowanie według stylu MLA (wyd. 9)

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