Computer-aided design techniques for low power sequential logic circuits - Monteiro, Josi, 1966- (The Kluwer international series in engineering and computer science., 1979)