Some remarks about the connections between combinatory logic and axiomatic recursion theory. R. Hindley, G. Mitschke (1977) Archiv für mathematische Logik und Grundlagenforschung
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis. Wolfgang Friedrich (1984) Archiv für mathematische Logik und Grundlagenforschung