Παραπομπή σε μορφή APA (7η εκδ.)
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)
Hochtel,Gray D, και Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Παραπομπή σε μορφή MLA (9th εκδ.)
Hochtel,Gray D, και Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.