N. Bourbaki, Theory of Sets, Elements of Mathematics, 2004.

P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2008.
DOI : 10.1017/CBO9780511801655

URL : https://hal.archives-ouvertes.fr/inria-00072739

K. Grygiel and P. Lescanne, Counting terms in the binary lambda calculus. CoRR, abs/1401.0379 Combinatorial and Asymptotic Methods for the Analysis of Algorithms, the Proceedings of 25th International Conference on Probabilistic, 2014.
URL : https://hal.archives-ouvertes.fr/ensl-00923203

S. S. Nancy, N. Y. Gu, T. Li, and . Mansour, 2-binary trees: Bijections and related issues, Discrete Mathematics, vol.308, issue.7, pp.1209-1221, 2008.

P. Lescanne and . Ens-de-lyon, Boltzmann samplers for random generation of lambda terms, 2014.
URL : https://hal.archives-ouvertes.fr/ensl-00979074

B. Salvy and P. Zimmermann, GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable, ACM Transactions on Mathematical Software, vol.20, issue.2, pp.163-177, 1994.
DOI : 10.1145/178365.178368

URL : https://hal.archives-ouvertes.fr/hal-00917741

A. Sapounakis, Ordered trees and the inorder traversal, Discrete Mathematics, vol.306, issue.15, pp.1732-1741, 2006.
DOI : 10.1016/j.disc.2006.03.044