APA-čujuhus (7. p.)
Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Chicago-čujuhus (17. p.)
Hochtel,Gray D, juo Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
MLA-čujuhus (9. p.)
Hochtel,Gray D, juo Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.