Terminal Algebra Semantics and Retractions for Abstract Data Types. - Günter Hornung; Peter Raulefs (ICALP, 1980)

Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. - Günter Hornung; Peter Raulefs (CAAP, 1981)

A Parallel Connection Graph Proof Procedure. - Günter Hornung; Anfried Knapp; Ulrike Knapp (GWAI, 1981)

Der META-Beweiser für die Zahlentheorie. - W. Benda; Günter Hornung; Peter Raulefs; F. Vollmann (GWAI, 1982)

Expertensysteme zur Software-Konfiguration. - Feodora Hermann; Günter Hornung (GI Jahrestagung, 1985)

INTRA. Ein Expertensystem zur Software-Unterstützung bei Hewlett-Packard. - Feodora Herrmann; Günter Hornung (Wissensbasierte Systeme, 1985)

Ein prozeßorientiertes Strukturierungsprinzip für große Software-Systeme. - G. Normann; Günter Hornung; P. Fleischer; Thomas Mehner (Software-Entwicklung, 1989)