Knowledge based CAD and microelectronics - Holden, Tony (Elsevier, 1987)