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

Hachtel, G. D., & Somenzi, F. (1996). Logic Synthesis and Verification Algorithms. Springer US.

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

Hachtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. Boston, MA: Springer US, 1996.

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

Hachtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. Springer US, 1996.