Decomposition of data flow graphs on multiprocessors. - W. C. Brantley Jr.; Gary W. Leive; Daniel P. Siewiorek (AFIPS National Computer Conference, 1977)

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)

A technology relative Logic Synthesis and Module Selection system. - Gary W. Leive; Donald E. Thomas (DAC, 1981)

Automating Technology Relative Logic Synthesis and Module Selection. - Donald E. Thomas; Gary W. Leive (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1983)