Computer-aided desing of digital systems - Lewin, Douglas (rz1, 1977)