Computer-aided design techniques for low power sequential logic circuits - Monteiro, José, 1966- (Kluwer Academic, 1997)