Knowledge based cad and microelectronics - Holden, Tony (North-Holland Publishing Company, 1987)