Knowledge based CAD and microelectronics - Holden, Tony (North-Holland Elsevier Science Pub., 1987)