Miscellaneous literature references
Verschiedene Literaturreferenzen

G. Knorz:

Metasystem für ein System zur Dialogführung, die anwendungsbezogene Eingaben in einer stichwortartigen Fachsprache akzeptiert;
Notizen interaktives Programmieren, Heft 2, 1997.

G. Knorz:

Ein Dialogsystem für anwendungsbezogene Eingaben in einer stichwortartigen Fachsprache;
EDV / Angewandte Informatik / Wirtschaftsinformatik, 1997.

G. Knorz:

Das Konzept des Programmiersprachenkerns von TA3 -- Darstellung eines deskriptiv orientierten Ansatzes;
GI-Programmiersprachen-Tagung, GI-PS, 1980.

H. O. Gerstmann:

Hierarchischer Programmentwurf in der Algebra binärer Relationen;
Dissertation, TU Darmstadt, 1981.

H.-J. Hoffmann:

Beiträge zum Lexikon der Informatik und Datenverarbeitung;
(Hrsg. H. J. Schneider, Berlin, 1. Auflage), 1982.

H.-J. Hoffmann:

Beiträge zum Lexikon der Informatik und Datenverarbeitung;
(Hrsg. H. J. Schneider, Berlin, 2. Auflage), 1986.

T. Schäfer:

Wissensverwaltung in Expertensystemen;
KI: Forschung, Entwicklung, Erfahrung, 1989.

H.-J. Hoffmann:

Beiträge zum Lexikon der Informatik und Datenverarbeitung;
(Hrsg. H. J. Schneider, Berlin, 3. Auflage), 1991.

H.-J. Hoffmann et al.:

Studenteninformationssystem STUDIS.
In K. Dette, P. J. Pahl (Hrsg.): Multimedia, Vernetzung und Software für die Lehre; Springer Verlag, 1992, 125 - 128.

H.-J. Hoffmann

Geschichtliche Entwicklung programmtechnischer Stilrichtungen.
In VDI-GIS (Hrsg.): Software-Zuverlässigkeit, Grundlagen, konstruktive Maßnahmen, Nachweisverfahren; VDI-Verlag, 1993, 7 - 11.

R.L. Baber:

Zur praktischen Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Korrektheit vom sequentiellen Computerprogrammen;
Dissertation, TU Darmstadt, 1994.

R.L. Baber:

Praktische Andwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit;
deGruyter-Verlag, 1995.

H.-J. Hoffmann:

Beiträge zum Lexikon der Informatik und Datenverarbeitung (Hrsg. H. J. Schneider, Berlin, 4. Auflage), 1997.

H.-J. Hoffmann et al.:

EPK-fix: Methods and tools for engineering electronic product catalogs;
EDMS97, European Workshop on interactive distributed multimedia systems and telecommunication services, 1997.