Wang, L., Chang, Y., & Cheng, K. (2009). Electronic design automation: Synthesis, verification, and test. Morgan Kaufmann/Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Wang, Laung-Terng, Yao-Wen Chang, και Kwang-Ting Cheng. Electronic Design Automation: Synthesis, Verification, and Test. Amsterdam, Boston: Morgan Kaufmann/Elsevier, 2009.
Παραπομπή σε μορφή MLA (9th εκδ.)Wang, Laung-Terng, et al. Electronic Design Automation: Synthesis, Verification, and Test. Morgan Kaufmann/Elsevier, 2009.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.