Combinatorial algorithms for integrated circuit layout - Lengauer, Thomas (John Wiley & Sons, 1990)