Algorithmic aspects of VLSI layout (World Scientific Pub. Co., 1993)