APA-referens (7:e uppl.)
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Chicago-referens (17:e uppl.)
Hochtel,Gray D, och Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
MLA-referens (9:e uppl.)
Hochtel,Gray D, och Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.