A Usable Circuit Optimizer for Designers. - Dale E. Hocevar; Rajeev Arora; Uttiya Dasgupta; Sattam Dasgupta; Nagaraj Subramanyam; Sham Kashyap (ICCAD, 1990)