Henk Barendregt Enumerators of lambda Terms are Reducing. 233-236 1992 2 J. Funct. Program. 2 db/journals/jfp/jfp2.html#Barendregt92