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