Computer aided design of digital systems : a bibliography - VanCleemput, William M. 1945- (Digital system design series, 1978)