Some notes on lambda-reduction, In: Degrees, reductions, and representability in the lambda calculus (1976)

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