APA (7 वां संस्करण) प्रशस्ति पत्र
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Hochtel,Gray D, और Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Hochtel,Gray D, और Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.