%A Jeffrey D. Ullman %T Computational aspects of VLSI %S CSP-PCS %D 1984 %P 495