Degrees, reductions and representability in the lambda calculus (1976)

by H P Barendregt, J A Bergstra, J W Klop, H Volken