Über die Bestimmbarkeit des Verhaltens von Algorithmen. Klemens Döpp — 1971 Archiv für mathematische Logik und Grundlagenforschung
Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke. Klemens Döpp — 1972 Archiv für mathematische Logik und Grundlagenforschung
Anmerkungen zum Rekursionstheorem. Klemens Döpp — 1985 Archiv für mathematische Logik und Grundlagenforschung
Über die Homogenisierbarkeit von Rechenprogrammen. Klemens Döpp — 1969 Archiv für mathematische Logik und Grundlagenforschung