Logic synthesis for low power VLSI designs - Iman, Sasan (Kluwer Academic Publishers, 1998)