Steve Sapiro

• Handbook of design automation