Alice C. Parker, Louis J. Hafer The Application of a Hardware Descriptive Language for Design Automation. [Citation Graph (0, 0)][DBLP] Jerusalem Conference on Information Technology, 1978, pp:349-355 [Conf]
Louis J. Hafer, Alice C. Parker A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1983, v:2, n:1, pp:4-18 [Journal]