Computer-aided design of digital systems - Lewin, Douglas (New York London : Crane Russak-Edward Arnold, 1977)