Computer-aided design of digital systems - Lewin, Douglas (Crane Russak, 1977)