Strong normalisation and perpetual reduction in the lambda calculus

(1982) Elektronische Informationsverarbeitung und Kybernetik = Journal of information processing and cybernetics, volume 23, issue 5/6, pp. 403 - 417

(Article)