Algorithms for VLSI design automation - Gerez, Sabih H. (John Wiley & Sons, 1999)