TY  - BOOK
TI  - Computer aided design of digital systems: :a bibliography
ER  -