Title: Assessment of computer-aided logic design
First published: 1983