Numerical Methods for Bifurcation Problems Proceedings of the Conference at the University of Dortmund, August 22–26, 1983
Simple Program Schemes and Formal Languages (Lecture Notes in Computer Science, 20)
Theoretical Foundations of Programming Methodology (NATO Science Series C: )
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Mes premieres constructions de programmes (Lecture Notes in Computer Science, 55) (French Edition)
Carnap II: Normative Theorie des induktiven Räsonierens
Einführung in die französische Sprachwissenschaft (German Edition)
Methodenkritik der Germanistik Materialist. Literaturtheorie u. bürgerl. Praxis
Compiler Specification and Verification (Lecture Notes in Computer Science, 124)
Die programmierte Prüfung des Einzelhandelskaufmanns Ein Buch zur Vorbereitung auf die Prüfung als Verkäufer(in) und Einzelhandelskaufmann
