Robert V. Zara David R. Henke Building a layered database for design automation. 645-651 1985 conf/dac/1985 DAC http://doi.acm.org/10.1145/317825.317958 db/conf/dac/dac1985.html#ZaraH85