The GAG-system : A tool for compiler construction
In: Methods and tools for compiler construction, Jg. 1984, S. 165-181Generalized Hewitt-Nachbin spaces arising in state space completions
In: Functional analysis, holomorphy and approximation theory (Lecture notes in mathematics : 843), Jg. 1981, S. 296-318Group theoretical aspects of Gödel's cosmological model
In: Jahrbuch der Gödel Gesellschaft, Jg. 1991, S. 3-11