The CMU design automation system: An example of automated data path design. - Alice C. Parker; Donald E. Thomas; Daniel P. Siewiorek; Mario Barbacci; Louis J. Hafer; Gary W. Leive; Jinchoon Kim (DAC, 1979)