Simultane Rekursionen in der Theorie der Funktionale endlicher Typen. Kurt Schütte; Justus Diller — 1971 Archiv für mathematische Logik und Grundlagenforschung
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Justus Diller; Werner Nahm — 1974 Archiv für mathematische Logik und Grundlagenforschung