"The CMU design automation system: An example of automated data path design."

Alice C. Parker et al. (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics