Computer aided design of digital systems A bibliography - Cleemput van, W. M. (Computer Science Press, 1976)