APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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