Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen. F.-K. Mahn (1966) Archiv für mathematische Logik und Grundlagenforschung
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe. Michael Deutsch (1975) Archiv für mathematische Logik und Grundlagenforschung