the design of digital systems - "truxal, john g. " (uk : macgraw hill kogakusha, 1972)