Antoine Deza, Chris Dickson, Tamás Terlaky, Anthony Vannelli and Hu Zhang: Global Routing in VLSI Design: Algorithms, Theory, and Computational Practice