The Electronic Design Automation Handbook - Jansen, Dirk (Kluwer Academic Publishers, 2003)