Computer-aided design techniques for low power sequential logic circuits - Monteiro, Josi, 1966- (Kluwer Academic, 1979)