Strong normalization and perpetual reductions in the lambda calculus (1982)

by J A Bergstra, J W Klop
Venue:J. Inform. Process. Cybernet