Construction of application generators using Eli
Paderborn, 1994
Foundations of K-theory for C*-algebras
München, 1982

Generating interpreters from compiler specifications
Paderborn, 1994
Infinitival complements in German
lassen, scheinen and the verbs of perceptionCambridge [u.a.] : Cambridge Univ. Pr., 1985
Subsemigroups of Lie groups
Darmstadt, 1987
