Switching theory for logic synthesis - Sasao, Tsutomu, 1950- (Kluwer Academic Publishers, 1999)