Computer aided design of digital systems : a bibliography /