APA aipamena

Hachtel, G. D., & Somenzi, F. (2006). Logic synthesis and verification algorithms. New York: Springer.

Chicago Style aipamena

Hachtel, Gary D., và Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.

MLA aipamena

Hachtel, Gary D., và Fabio Somenzi. Logic Synthesis and Verification Algorithms. New York: Springer, 2006.