Combinatory reductions and lambda reductions - Hindley, Roger (Techn. Hochsch., 1975)