Computer-aided design of digital systems - Lewin, Douglas (Computer systems engineering series, 1977)