Hachtel, G. (2003). Logic Synthesis And Verification Algorithms (7.). Kluwer Academic Publishers.
芝加哥风格引文Hachtel, G.D. Logic Synthesis And Verification Algorithms. 7. USA: Kluwer Academic Publishers, 2003.
MLA引文Hachtel, G.D. Logic Synthesis And Verification Algorithms. 7. Kluwer Academic Publishers, 2003.
警告：这些引文格式不一定是100％准确.