Building a layered database for design automation. - Robert V. Zara; David R. Henke (DAC, 1985)