Register-transfer level digital design automation: The allocation process. - Louis J. Hafer; Alice C. Parker (DAC, 1978)

The Application of a Hardware Descriptive Language for Design Automation. - Alice C. Parker; Louis J. Hafer (Jerusalem Conference on Information Technology, 1978)

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)

Automated Synthesis of Digital Hardware. - Louis J. Hafer; Alice C. Parker (IEEE Trans. Computers, 1982)

A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic. - Louis J. Hafer; Alice C. Parker (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1983)

Robots in the laboratory. - M. Stella Atkins; Louis J. Hafer; Patrick Leung (SIGCSE, 1988)

Schematic generation with an expert system. - Godfried M. Swinkels; Louis J. Hafer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Constraint improvements for MILP-based hardware synthesis. - Louis J. Hafer (DAC, 1991)