VLSI physical design automation theory and practice - Sait, Sadiq M. (Lecture notes series on computing, 1999)