Logic synthesis and optimization - Bachmann, Heinz (Kluwer Academic Publishers, 1993)