Стиль цитування 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.
Стиль цитування MLA (9-ме видання)
Hochtel,Gray D, та Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Попередження: стилі цитування не завжди правильні на всі 100%.