APA (7th ed.) Citation

Hachtel, G. D., & Somenzi, F. (2002). Logic synthesis and verification algorithms (6. print.). Kluwer.

Chicago Style (17th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. 6. print. Boston [u.a.]: Kluwer, 2002.

MLA (9th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. 6. print. Kluwer, 2002.