Ein starker Normalisationssatz für die bar-rekursiven Funktionale. Helmut Vogel — 1977 Archiv für mathematische Logik und Grundlagenforschung
On a relationship between countable functionals and projective trees Helmut Vogel — 1983 Fundamenta Mathematicae