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

Hatchtel, G. D., & Somenzi, F. (1996). Logic synthesis and verification algorithms. Kluwer Academic Publishers.

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

Hatchtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. Boston: Kluwer Academic Publishers, 1996.

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

Hatchtel, Gary D., και Fabio Somenzi. Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, 1996.