Some remarks about the connections between combinatory logic and axiomatic recursion theory, Arch. math. Logik 18 (1977)

by J R Hindley, G Mitschke