One-Step Recurrent Terms in lambda-beta-Calculus. - Shoji Sekimoto; Sachio Hirokawa (Theor. Comput. Sci., 1988)