Automating the Design of Computer Systems - William P. Birmingham; Anurag P. Gupta; Daniel P. Siewiorek (Taylor and Francis, 1992)