Gittenberger, B., and I. Larcher. “Distribution of Variables in Lambda-Terms With Restrictions on De Bruijn Indices and De Bruijn Levels”. The Electronic Journal of Combinatorics, Vol. 26, no. 4, Dec. 2019, p. P4.47, doi:10.37236/8579.