Hachtel, G. (2003). Logic Synthesis And Verification Algorithms (7.). Kluwer Academic Publishers.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रHachtel, G.D. Logic Synthesis And Verification Algorithms. 7. USA: Kluwer Academic Publishers, 2003.
एमएलए (9वां संस्करण) प्रशस्ति पत्रHachtel, G.D. Logic Synthesis And Verification Algorithms. 7. Kluwer Academic Publishers, 2003.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.