Synthesis and optimization of digital circuits /
DeMicheli, G.
New York ; London :  McGraw,
1994.