Strong Normalization and perpetual reductions in the Lambda Calculus (1982)

by J W Klop J A Bergstra