Unification in Second Order Logic. - Georg Winterstein (J. Inf. Process. Cybern., 1977)

Symbolic Interpretation and Tracing of PASCAL-Programs. - Guido Persch; Georg Winterstein (ICSE, 1978)

A Method for Describing Concurrent Problems Based on Logic. - Georg Winterstein; Manfred Dausmann; Guido Persch (GI Jahrestagung, 1980)

LIS as Object Code for an ADA-O-Compiler. - Manfred Dausmann; Guido Persch; Georg Winterstein (Fachtagung über Programmiersprachen, 1980)

Prädikatenlogik als Basis für eine Spezifikationssprache. - Georg Winterstein; Norbert Heck; Peter Trum (Software Engineering, 1980)

Towards a compiler front-end for Ada. - Gerhard Goos; Georg Winterstein (SIGPLAN, 1980)

Overloading in preliminary Ada. - Guido Persch; Georg Winterstein; Manfred Dausmann; Sophia Drossopoulou (SIGPLAN, 1980)

Problems in Compiling Ada. - Gerhard Goos; Georg Winterstein (ECI, 1981)

The Tasking Facility of Ada. - Manfred Dausmann; Sophia Drossopoulou; Guido Persch; Georg Winterstein (Implementierungssprachen für nichtsequentielle Programmsysteme, 1981)

A Separate Compilation System for Ada. - Manfred Dausmann; Guido Persch; Sophia Drossopoulou; Georg Winterstein (Werkzeuge der Programmiertechnik, 1981)

An LALR (1) grammar for (revised) Ada. - Guido Persch; Georg Winterstein; Sophia Drossopoulou; Manfred Dausmann (ACM SIGPLAN Notices, 1981)

An Attribute Grammar for the Semantic Analysis of Ada - Jürgen Uhl; Sophia Drossopoulou; Guido Persch; Gerhard Goos; Manfred Dausmann; Georg Winterstein; Walter Kirchgässner (Springer, 1982)

The integration of existing database systems in an Ada environment. - Martin Bever; Manfred Dausmann; Sophia Drossopoulou; Walter Kirchgässner; Peter C. Lockemann; Guido Persch; Georg Winterstein (AdaTEC Conference on Ada, 1982)

An Attribute Grammar for Ada. - Sophia Drossopoulou; James S. Uhl; Guido Persch; Gerhard Goos; Manfred Dausmann; Georg Winterstein (SIGPLAN Symposium on Compiler Construction, 1982)

Position Paper: Pro sprachorientierte Programmierumgebungen. - Georg Winterstein (Programmierumgebungen und Compiler, 1984)