APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Hachtel, Gary D., and Fabio Somenzi. Logic Synthesis and Verification Algorithms. 3. print. Kluwer, 2000.