On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF

Dorothy E. Setliff, Rob A. Rutenbar. On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF. IEEE Trans. on CAD of Integrated Circuits and Systems, 10(6):783-801, 1991. [doi]