Design Verification at the Register Transfer Language Level. - Harold Hoehne; Robert Piloty (IEEE Trans. Computers, 1975)

Zur Wartungsfreundlichkeit von Programmen. - H.-J. Frank; Harold Hoehne; S. Luhmann; H. Pszolla; Franz Stetter (Elektron. Rechenanlagen, 1977)