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