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