Some remarks about the connections between combinatory logic and axiomatic recursion theory. R. Hindley; G. Mitschke — 1977 Archiv für mathematische Logik und Grundlagenforschung